Emulate Coq IDE in VIM