.vimrc: bundle idris-hackers/idris-vim