CI Coverage report

Coverage should be reported in cobertura format. We could use:

lcov_cobertura build_debug/coverage.info

Where lcov_cobertura converts the generated lcov output.