Code coverage job and integration with gitlab CI/CD
This patch adds jobs to generate coverage reports so that they are understood by gitlab CI/CD. In addition, an HTML output is stored as artifact.
Several definitions in tox.ini and .gitlab-ci.yml are partially duplicated and it would be better if we could find a way to reduce the duplicate code segments.