Aggiunta visualizzazione del numero di notifiche nella topbar mediante ajax. Correzioni minori