[tor-commits] [metrics-lib/master] Remove Cobertura from the build process.