Add a Travis CI script