Add gundo plugin