Git: more aliases.
Vim: set filetype for .agda files.
Biegunka: add agda-vim.