load ProofGeneral if it is present