Use the current GitLab naming convention for the main branch

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).