vimPlugins: added agda-vim vim-grammarous vim-easytags, updates

pkgs/misc/vim-plugins/vim-plugin-names

@@ -32,6 +32,7 @@
 "github:christoomey/vim-tmux-navigator"
 "github:ctjhoa/spacevim"
 "github:ctrlpvim/ctrlp.vim"
+"github:derekelkins/agda-vim"
 "github:digitaltoad/vim-jade"
 "github:eagletmt/neco-ghc"
 "github:eikenb/acp"
@@ -78,6 +79,7 @@
 "github:osyo-manga/vim-watchdogs"
 "github:racer-rust/vim-racer"
 "github:raichoo/purescript-vim"
+"github:rhysd/vim-grammarous"
 "github:rust-lang/rust.vim"
 "github:sbdchd/neoformat"
 "github:sheerun/vim-polyglot"
@@ -111,6 +113,7 @@
 "github:vim-scripts/wombat256.vim"
 "github:wakatime/vim-wakatime"
 "github:wincent/command-t"
+"github:xolox/vim-easytags"
 "github:zchee/deoplete-jedi"
 "goyo"
 "matchit.zip"