Changed mapping for localleader key in vim. Set to enter.
Added vimshell and idris vim plugin.