[CI] some minor travis-ci improvements