proofgeneral_4_3_pre: Add expression needed for current prooftree
proofgeneral: Delete default.nix for proofgeneral
Merge pull request #3031 from jwiegley/proofgeneral

proofgeneral_4_3_pre: Add expression needed for current prooftree