Added coqtop interface plugin to bundle
  ftplugin/coq_IDE.vim