Emacs: add agda-mode.