build: ingest code coverage into gitlab
This PR implements https://docs.gitlab.com/ee/ci/yaml/index.html#coverage, which should allow us to track code coverage statistics over time per https://docs.gitlab.com/ee/ci/pipelines/settings.html#view-code-coverage-history.