Update cobertura configuration for coveralls.io [ci skip]