Update documentation for GitLab CI pipelines
After the refactor in !585 (merged), the documentation should be updated accordingly. This will primarily be an update of the names of the different jobs, stages and files.
After the refactor in !585 (merged), the documentation should be updated accordingly. This will primarily be an update of the names of the different jobs, stages and files.