Idris syntax highlighting and (eventually) other things for emacs.