Piattaforme riservate: ruolo dedicato e port della dashboard Stress Index

Il ruolo `campus` diventa `piattaforme` e non apre più solo la sezione
Biohacking: copre tutte le aree riservate, con migrazione guardata sugli
utenti esistenti. Nell'header la vecchia voce Biohacking lascia il posto a
un menu Piattaforme con i due link, visibile solo a chi ha il ruolo, e
/piattaforme diventa la pagina di atterraggio.

Stress Index è portata dentro il sito: le nove viste dell'area
professionisti diventano pagine Astro sotto /piattaforme/stress-index,
con lo stile del sito al posto del design system del prototipo. React
resta solo dove serve davvero — grafici recharts e scheda cliente — il
resto è Astro con un filo di JS. I dati sono ancora quelli dimostrativi,
raccolti in lib/stress-index/data.ts.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

src/pages/admin/users.astro

@@ -16,7 +16,7 @@ const me = Astro.locals.user!;
     <select class="afield" name="role">
       <option value="user">user</option>
       <option value="superuser">superuser</option>
-      <option value="campus">campus</option>
+      <option value="piattaforme">piattaforme</option>
       <option value="admin">admin</option>
     </select>
     <button class="abtn" type="submit">Crea</button>
@@ -32,7 +32,7 @@ const me = Astro.locals.user!;
           <td>{u.username}{u.id === me.id && ' (tu)'}</td>
           <td>
             <select class="role-sel" data-id={u.id}>
-              {['user', 'superuser', 'campus', 'admin'].map((r) => <option value={r} selected={u.role === r}>{r}</option>)}
+              {['user', 'superuser', 'piattaforme', 'admin'].map((r) => <option value={r} selected={u.role === r}>{r}</option>)}
             </select>
           </td>
           <td>