Add 'Idris' menu on opening a .idr
Merge branch 'master' of github.com:idris-hackers/idris-vim
Syntax highlight for doc comments