add ProofGeneral source to gitignore