* web/mustard/js/notifs.js.php: Aggiunte funzioni per determinare le
notifiche "vive" (non cancellate).
* web/mustard/notifs.php: Aggiunto timestamp alle notifiche e
ora le funzioni che operavano sulle notifiche in massa lo fanno solo
su quelle "vive".
* web/mustard/notifs.php: Aggiunto footer di instances.php, bottone e
funzione JS per invertire la selezione e alcuni side effects.
* web/mustard/theme.css: Aggiunte regole per i controlli nel footer.
* web/mustard/js/notifs.js.php: Aggiunte funzioni per cancellare e
marcare come lette che operano su liste di notifiche.
* web/mustard/notifs.php: Quando riceve una POST con un body JSON
esegue un'azione su liste di notifiche.
* web/mustard/notifsh.php: Le notifiche non vengono più cancellate dal
DB ma vengono marcate "deleted".
* web/mustard/theme.css: Aggiunta classe "deleted".
* web/mustard/notifs.php: Aggiunta una checkbox per
selezionare/deselezionare in massa le notifiche ed un bottone per
segnare tutte quelle selezionate come già lette.