Add gundo plug-in