remove coquille plugin
update molokai
update vimrc
add CoqIDE plugin