Idris update
Idris plugins
New haskell syntax highlighting
Merge branch 'master' of github.com:sordina/Vim-Config