Restore old travis config
Fix jenkins.sh