Compute correct global coverage
GitLab CI by default simply averages all the resulting coverage reports. This is obviously not correct for a lot of situations.
This MR computes the coverage in a separate job basing on the coverage results of the previous test stage.