add vimproc and coqtop-vim