A better Travis CI script