Disable pylint
Add coq.vim
Add coquille
Add coqide with fixes
Ignore undo files