Revert "CI: work around Gitlab Cobertura parsing quirk"
This reverts commit f6ff85b1.
This hack should not be needed anymore for Gitlab at freedesktop.org.
Mainly I worry that it might throw pycobertura off track in a future patch.
Look at the diff in !1027 where you see that the dummy main.c
change is correctly annotated with coverage even though that series contains this patch. Therefore this patch should be good.