* 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/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/js/notifs.js.php: Aggiunta funzione per la rimozione
delle notifiche ed una funzione per applicare una funzione a tutte
le notifiche selezionate.