Convert to Travis CI for Jenkins