Improve coverage reporting
This MR improves the way that code coverage is aggregated and reported, working around some shortcomings of gitlab's default coverage handling (mean average).
This MR improves the way that code coverage is aggregated and reported, working around some shortcomings of gitlab's default coverage handling (mean average).