proofgeneral: Delete default.nix for proofgeneral