improvements to travis-ci script