add git-extensions as submodule