Add coq support to vim
Add proof general to emacs