vim-agda-mode: reorganize plugin; improve ReloadKeywords().