Adding gundo plugin