Moved gundo into its own git submodule