agda-mode:load keymap and menu