Add coqtop-vim