Add gundo and minibufexpl.