Bump travis-build.
Bump travis-build.

Includes a minor change for the Coverity addon.

travis-ci/travis-worker,gavioto/travis-worker,travis-ci/travis-worker,final-ci/travis-worker,ireznice/travis-worker,final-ci/travis-worker,ireznice/travis-worker,gavioto/travis-worker