Merge branch 'develop' into 'develop'

Use coverage_report instead of cobertura in .gitlab-ci.yml file

See merge request irmb/VirtualFluids_dev!100

.gitlab-ci.yml

@@ -459,7 +459,9 @@ gcov_gcc_9:
       - coverage/
 
     reports:
-      cobertura: coverage/coverage.xml
+      coverage_report: 
+        coverage_format: cobertura
+        path: coverage/coverage.xml
 
   cache:
     key: "$CI_JOB_NAME-$CI_COMMIT_REF_SLUG"