Update TravisCi config to not mess up coverage report

Change-Id: If253ed6ffcd845106351bf8f4503af4aa1256693