Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.