add coq to vimrc and more paks