vim-agda-mode: change inoremap to noremap! to allow Unicode input in command-line mode (e.g., searches).