Added cobertura plugin configuration for aggregated reports. Added
corresponding instructions for Travis CI.