Adds Gundo plugin