Debian/oldstable docker container for packaging (#942)

This adds dockerized build stances to .gitlab-ci.yml. They will run only in scheduled builds (i.e. once per day at night) or upon special request (through secret GUI button). They shall ensure that at any time we are ready to generate binary installers.

This resolves #942 (closed).

mentioned in merge request !2509 (closed)

added 33 commits

• 85e799cb...6727cb74 - 23 earlier commits
• 83a0504b - App,GUI: add developer notes to set the RPATHs
• 65e86539 - GitLab-CI: correct typo
• a40a3f27 - rm unneeded zshell scripts which were used for making the Python package under MacOS
• 44ae705b - PyDependences: add 'wheel' to Python dependencies
• 61b2b520 - Add a Python script to determine the wheel name via setuptools
• c3684b0c - MakePythonWheel: obtain the proper names for the Python wheels
• 2185d7f2 - Rename the Python wheels to proper names
• 51b7bc58 - rm dummy C code used for making the Python wheel
• a1250590 - restore MANIFEST.in, seemingly needed by pip under Windows to include binaries
• d7217906 - Dockerfile ..

Compare with previous version

added 39 commits

• d7217906...b6e7ce2e - 17 commits from branch main
• b6e7ce2e...08b8e82f - 12 earlier commits
• cffccac7 - corr
• d2bb5d65 - corr
• 8d37b375 - other alias syntax
• e8b10391 - switch off developer checks for oldstable
• b80072fb - change for py311
• 828b10f6 - CI restrict debian_oldstable_py311 to scheduled runs
• d885b3da - CI: common code for py311 and 310
• 53c4e466 - for testing, outcomment 'scheduled' rule; + py39, 38
• a8bbc597 - + Dockerfile.debian.oldstable
• d20fd17b - Dockerfile ..

Compare with previous version

marked this merge request as ready

added 6 commits

• d20fd17b...8e72b11e - 3 commits from branch main
• bb9d0697 - Merge remote-tracking branch 'origin/main' into docker1
• 6e7c73f7 - restrict docker builds to scheduled runs
• 5d3be80c - CI wrap lines

Compare with previous version

changed title from Debian/oldstable docker container for packaging to Debian/oldstable docker container for packaging (#942)

changed the description

added 1 commit

• b7945001 - CI wrap lines

Compare with previous version

added 1 commit

• f1608b5a - CI wrap lines

Compare with previous version

added 1 commit

• 599562d7 - CI wrap lines

Compare with previous version

added 1 commit

• 2a64a38b - CI wrap lines

Compare with previous version

added 1 commit

• 7fa16ba3 - + devtools/docker/Dockerfile.debian.oldstable

Compare with previous version

merged

mentioned in commit 3f56a584

changed the description