Switch to newer and maintained fork of gundo