renaming toplevel project (easier to use as git submodule)