Mejoras hacklab: i18n, pestaña Projects, transporte con seek, guía y temas

- i18n ligero de la interfaz del REPL (castellano, inglés, francés, alemán,
  italiano, portugués...) con selector en el header
- Pestaña Projects: gestor local de proyectos con carpetas, buscador y
  librería de tracks de fábrica (bases techno/acid originales)
- Barra de transporte bajo el editor: play/pausa/anterior/siguiente, tiempo
  y barra de progreso arrastrable; seek real vía Cyclist.setCycle()
- Pestaña Guía: chuleta de síntesis y sonidos para el directo
- Packs de temas del editor: neon-madrid + hacklab-pack (5 neón + 5 estándar)
- pnpm-workspace: allowBuilds para instalación limpia en Linux

packages/codemirror/themes.mjs

@@ -1,4 +1,27 @@
 import strudelTheme, { settings as strudelThemeSettings } from './themes/strudel-theme.mjs';
+import neonMadrid, { settings as neonMadridSettings } from './themes/neon-madrid.mjs';
+import {
+  neonCian,
+  neonCianSettings,
+  neonMagenta,
+  neonMagentaSettings,
+  neonVerde,
+  neonVerdeSettings,
+  neonVioleta,
+  neonVioletaSettings,
+  neonRave,
+  neonRaveSettings,
+  madridClaro,
+  madridClaroSettings,
+  madridOscuro,
+  madridOscuroSettings,
+  papelSepia,
+  papelSepiaSettings,
+  medianoche,
+  medianocheSettings,
+  grafito,
+  grafitoSettings,
+} from './themes/hacklab-pack.mjs';
 import bluescreen, { settings as bluescreenSettings } from './themes/bluescreen.mjs';
 import blackscreen, { settings as blackscreenSettings } from './themes/blackscreen.mjs';
 import whitescreen, { settings as whitescreenSettings } from './themes/whitescreen.mjs';
@@ -43,6 +66,17 @@ import noctisLilac, { settings as noctisLilacSettings } from './themes/noctisLil
 import { setTheme } from '@strudel/draw';
 export const themes = {
   strudelTheme,
+  neonMadrid,
+  neonCian,
+  neonMagenta,
+  neonVerde,
+  neonVioleta,
+  neonRave,
+  madridClaro,
+  madridOscuro,
+  papelSepia,
+  medianoche,
+  grafito,
   algoboy,
   archBtw,
   androidstudio,
@@ -85,6 +119,17 @@ export const themes = {
 
 export const settings = {
   strudelTheme: strudelThemeSettings,
+  neonMadrid: neonMadridSettings,
+  neonCian: neonCianSettings,
+  neonMagenta: neonMagentaSettings,
+  neonVerde: neonVerdeSettings,
+  neonVioleta: neonVioletaSettings,
+  neonRave: neonRaveSettings,
+  madridClaro: madridClaroSettings,
+  madridOscuro: madridOscuroSettings,
+  papelSepia: papelSepiaSettings,
+  medianoche: medianocheSettings,
+  grafito: grafitoSettings,
   bluescreen: bluescreenSettings,
   bluescreenlight: bluescreenlightsettings,
   blackscreen: blackscreenSettings,