Shorter travis-ci script