Include pytest-cov in the CI

[johentsch]

Measure it while running the tests and find the most economic way of exposing the result (e.g. by upload an artefact or using a badge showing the percentage)

Low priority, to be discussed at a later stage when coverage is actually high.

Promising: https://github.com/marketplace/actions/pytest-coverage-comment