vimrc: Add Agda support and unicodekeys.vim for unicode mappings