add coq faces
add proofgeneral faces
Merge pull request #138 from aroig/coq-proofgeneral

Coq and proofgeneral themes