Copier-coller dans le terminal, et suite de tests versionnee

Le terminal n'avait aucun copier-coller : impossible de selectionner du texte
a la souris ni de coller une commande. C'est la fonction la plus basique d'un
terminal et de loin le manque le plus penible a l'usage.

- selection a la souris avec surlignage, suivant le theme actif
- double-clic : selectionne le mot sous le curseur
- Ctrl+Shift+C / Ctrl+Shift+V, Maj+Inser, clic molette, menu au clic droit
- Ctrl+C reste l'interruption : les raccourcis du presse-papiers sont traites
  avant la conversion Ctrl+lettre, sinon Ctrl+Shift+C serait parti comme un
  Ctrl+C vers le shell
- au collage, les fins de ligne sont normalisees en retour chariot ; un \r\n
  enverrait une ligne vide supplementaire au shell

La suite de tests vivait dans un dossier temporaire et aurait ete perdue : elle
rejoint le depot dans tests/ avec un lanceur. Elle couvre le presse-papiers, la
detection d'hote, la logique SFTP sur serveur simule et la construction de
l'application.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

app/theme.py

@@ -59,6 +59,7 @@ UI_PALETTES: dict[str, dict[str, str]] = {
 TERMINAL_PALETTES: dict[str, dict] = {
     THEME_LIGHT: {
         "fg": "#1c2430", "bg": "#ffffff", "cursor": (47, 111, 237, 110),
+        "selection": (47, 111, 237, 70),
         "ansi": {
             "black": "#1c2430", "red": "#c0392b", "green": "#2e7d32", "brown": "#a06800",
             "blue": "#1f5ed6", "magenta": "#8e24aa", "cyan": "#00838f", "white": "#5c6875",
@@ -69,6 +70,7 @@ TERMINAL_PALETTES: dict[str, dict] = {
     },
     THEME_MIDNIGHT: {
         "fg": "#e6ecf6", "bg": "#0b1220", "cursor": (79, 140, 255, 140),
+        "selection": (79, 140, 255, 90),
         "ansi": {
             "black": "#0b1220", "red": "#ff6b81", "green": "#8ce99a", "brown": "#f2c94c",
             "blue": "#4f8cff", "magenta": "#c792ea", "cyan": "#63d4e0", "white": "#dbe4f5",
@@ -79,6 +81,7 @@ TERMINAL_PALETTES: dict[str, dict] = {
     },
     THEME_BLACK: {
         "fg": "#e8e8e8", "bg": "#000000", "cursor": (74, 158, 255, 140),
+        "selection": (74, 158, 255, 90),
         "ansi": {
             "black": "#000000", "red": "#e05561", "green": "#8cc265", "brown": "#d18f52",
             "blue": "#4aa5f0", "magenta": "#c162de", "cyan": "#42b3c2", "white": "#d0d0d0",