Importati gli script di checkpointing di HOL Light
Aggiornata la configurazione di neve
Merge branch 'master' of ssh://elio.math.unifi.it/~/Repos/Git/nixconfs