Add coq stuff to vim.
Improve SentToCoq color in vim.