Merge local hol_light/default.nix with the version of nixpkgs
Stop maintaining the local version of hol_light/default.nix