gestione ruoli.

Ho modificato i file users.php, login-submit.php e general.php per la
gestione dei ruoli. Puoi controllare se un utente appartiene al ruolo
amministratore con la funzione general->isAdmin().
Ho modificato header.php, il link amministrazione compare solo se
appartieni al ruolo amministratore.