feat(archive): export a studyset as an archive to import again

Export content now asks what to export as: an archive first, a .zip
the Library's Import takes back as the person's own, for a backup or a
move to another instance; Markdown, to read elsewhere, below it. The
archive holds the studyset with everything inside it but what waits in
Recently deleted, laid out as the instance writes a release, unlinked
from Explore; dictionary cards go whole, with the person's edits. Every
file its content names is downloaded first, and an archive missing one
is not kept: the person is told how many and to try again online.

With my progress (ticked at first) adds the reviews, the answers
to learning paths' steps, the pages read in PDFs, and what a release
leaves out as only its author's: the exam prepared for, a card's report,
a PDF's reading deadline. Stars, archived studysets and the tags'
colours come along either way.

The import of v0.17.0 refuses a file it doesn't know, so what it doesn't
read goes into the files it reads, as keys it skips, and the format
stays 1: archive.json's tags, a studyset.json's archived and starred, a
step's answers, a PDF's readings. This import reads them; an archive it
can't read all of still writes nothing, its tags included.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>

halkyon_learn_flutter/lib/l10n/app_localizations_en.dart

@@ -1161,6 +1161,47 @@ class AppLocalizationsEn extends AppLocalizations {
   @override
   String get exportFailed => 'Couldn\'t export the studyset.';
 
+  @override
+  String get exportTitle => 'Export';
+
+  @override
+  String get exportArchive => 'Archive';
+
+  @override
+  String get exportArchiveSubtitle =>
+      'A .zip to import again: a backup, or a move to another instance.';
+
+  @override
+  String get exportMarkdown => 'Markdown';
+
+  @override
+  String get exportMarkdownSubtitle =>
+      'To read elsewhere. It can\'t be imported again.';
+
+  @override
+  String get exportWithProgress => 'With my progress';
+
+  @override
+  String get exportWithProgressSubtitle =>
+      'Reviews, answers, pages read, the exam you\'re preparing for, your reports and reading deadlines';
+
+  @override
+  String get exportConfirm => 'Export';
+
+  @override
+  String get exportedArchive => 'Exported as an archive (.zip).';
+
+  @override
+  String exportArchiveFilesMissing(int count) {
+    String _temp0 = intl.Intl.pluralLogic(
+      count,
+      locale: localeName,
+      other: '$count files aren\'t on this device and couldn\'t be downloaded.',
+      one: '1 file isn\'t on this device and couldn\'t be downloaded.',
+    );
+    return '$_temp0 Connect to the internet and try again.';
+  }
+
   @override
   String get exportQuestion => 'Q';