gitlab-ci: Add GitLab CI pipeline

Re-use bits from the main image-building pipeline to move away from Jenkins.

It turned out that this broke the Jenkins pipeline and !15 (closed) was needed to fix it, but I forgot to block !14 (merged) before it got landed, so here I am adding the pointers here in case we will ever need them.