Use the current GitLab naming convention for the main branch

Bernd Flemischrequested to merge
cleanup/use-gitlab-main-naming-convention into master

The current GitLab convention for the name of the main development branch is main. Adapt the script extract_as_new_module.py correspondingly.

Fixes #1175 (closed).

Merge request reports