Update TravisCI config

Change-Id: Ia78a45f9ff6c97abe91d4100aee812f2f676b69f