add emacs/idris-mode