Added the gundo plugin