Renamed "project" to "module" in order to fit into the git
terminology of repositories and submodules.