Misc improvements to the configuration
- CMake configuration
- changes to the build configuration to work in a super-project
- add dependency on Catch2 (used in other merge requests for unit tests)
- gitlab-ci
- better test reports in case of failures
- improved verify_checksums CI job report
Edited by Marco Clemencic