Cobertura reports

This PR implements cobertura reports compatible at least with the Jenkins cobertura plugin. It is based on work from #214.
I have verified that all the tests succeed merging either #204 or #201