vimrc: a bunch of plugins