Upload code coverage and documentation as artefacts from the CI

The CI job builds a code-coverage report and documentation as part of the build process. These should be extracted and uploaded as build artefacts.