[Global] Add .travis.yml, just for the fancy Github additions. Main CI is still Jenkins.