Importata la directory holl-mode di nixos_stuff.
Alcune modifiche in holl-mode.
In particolare aggiunte delle funzioni elementari per inviare un
termine, una riga, un goal.
Cambiata configurazione di maggesi@neve.
holl-mode: aggiunte varie funzioni ispirate a hol-light-mode
In corso di un tentativo di dare una struttura piu' comprensibile.
Migliorata holl-send-tactic (adesso rimuove THENL? finale e ricononosce una riga contenente solo spazi come separatore)