Add coq vim mode
Add coq_IDE for vim
Configure coq_IDE for vim
Remove screen as a primary package
Add new packages