Semáforo Raspberry Pi Pico con selector de 4 modos (máquina de estados, GP11-13 + GP4)

¡4 modos diferentes para el semáforo con un solo botón! 🚦 Cada vez que se pulsa el botón, cambia el modo: **Ciclo normal** (rojo → ámbar → verde en ese orden), **Solo rojo** (señal de parada), **Ámbar intermitente** (atención/modo nocturno), **Apagado** (mantenimiento). Conceptos: **máquina de estados** (la variable `mode` determina qué comportamiento se ejecutará), **ciclo de modos por módulo** (`(mode + 1) % 4` → 0→1→2→3→0, ciclo infinito), **sincronización sin bloqueo** (`time.ticks_ms()` + `