Install coqtop-vim