travis-ci: run tests verbosely