Disable cobertura in .gitlab-ci.yml

The cobertura coverage analysis doesn't seem to work anymore. We disable it for the time being.

fixes #193 (closed)

(cherry picked from commit e2c3e6db)