Rimossa una inutile dipendenza esplicita al working tree di nixpkgs.
Aggiornato HOL Light alla rev 180