Merge branch 'cobertura' into 'master'

Fix display of coverage in Gitlab

See merge request !310

.gitlab-ci.yml

@@ -33,7 +33,9 @@ tests-and-coverage:
       - coverage_report
       - test-report
     reports:
-      cobertura: coverage.xml
+      coverage_report:
+        coverage_format: cobertura
+        path: coverage.xml
       junit: report.xml
 
 # Normal test with longruns