Migrate from jacoco to cobertura for gitlab test coverage reporting

Gitlab has better support for cobertura, so let's migrate to that to show coverage at a glance.