TravisCI config

Change-Id: If85917053365bab2b2141c4aa1a4be97ce0b979b