Improve CI coverage configuration
This MR improves the CI coverage configuration as follows
- use
coverage combine
to present the coverage total to gitlab (gitlab's own total uses a simple average) - add
[paths]
configuration forcoverage.py
to resolve installed paths back to the source files