Modify .travis.run to use new Jenkins setup