Add gundo plugin.