Updated idris-vim
Removed idris-vim