coverage: print summary and generate cobertura report

From the summary, GitLab can extract the coverage percentage. From the XML file, it can generate its own visualization (see https://docs.gitlab.com/ee/user/project/merge_requests/test_coverage_visualization.html).

Related: !305 (merged).