Add coq.vim