Added ProofGeneral for Coq
Ignore tramp file