Upgraded GitLab-CI scripting
The complete old behaviour is replicated:
- Build from CMake and export binary as an artefact
- Import dependencies from binary artefacts when available
- Test and collect the output into colourful HTML reports
- Reuse tests are run and reports in HTML, but no longer in Pipeline state
- Documentation is built if it is present, ignored otherwise
There is also a good improvement:
- Most of the variation (for standard projects) ends in parameters
- The remainder is arranged in thoroughly documented pipeline
- No external scripts are needed; they were fragile so gladly dumped
- No more requirements for ansi2html, so python3, for mere colour
The "mkhere" rendering of HTML can use work, but it's all pretty simple.