add gundo plugin