Add plugin with CoqTop and Vimproc