add coq.vim