[vimrc] Put .vim/ into this repo, including syntax highlighting and imaps for agda