In the loop:
- Rename the "module" variable to "module_path".
- Set up a new "module" variable that contains nothing but the actual module
  name.

With a single underscore, the "link target" system is used, resulting in
conflicts when the same version name is shared by 2 repos.

docker_build: copy modules (defined in setup.cfg in superproject to a new directory for docker to do)