Idris syntax highlighting, interactive REPL and more things for emacs.