home/.emacs.d/init.el: add agda input method