Actually generate coverage info during TravisCI build

Change-Id: Iac949a57c4805451873ea0c035da30a5ce616103