made director structure compatible to be used as Pathogen/Vundle/NeoBundle/etc plugin
using LocalLeader in unicode insert mappings
added normal and insert mode bindings for navigating metas and showing/reloading them
added ftdetect subfolder for fitting into Vim's model of filetype detection
using a user-definable Vim option to pass include path options to Agda
better usage of user-definable variable for paths, now it's a list and managed nicely by Python
Merge pull request #4 from joaopizani/master

directory structure compatible to be used as Pathogen/Vundle/NeoBundle/etc