add gundo plugin.