Add gnupg.vim.
Add coq stuff to vim.