Vimrc: added hardmode.
Vim: added more coq stuff.