Fix #5 and fix #6 sul funzionamento link della barra laterale

Il codice in `docs.js` e `docs.html` prevede che al click di una voce sulla
sinistra si raggiunga la sezione HTML della documentazione con
`id="nomesezione"` dove _nomesezione_ è estratto dalla stringa della
voce del menu, quindi nei file .html vanno tradotti gli `id` con le
stringhe corrispondenti della variabile `toc` dichiarata in `docs.js`.