Make rcov output Cobertura-compatible XML