Add Idris mode for Emacs.