add Gundo plugin