VIM: add Gundo plugin