first install proofgeneral with coq
Merge branch 'coq_with_proofgeneral'