Add a travis-ci script