Bump travis-build.

Includes latest updates to the Coverity addon.
Merge branch 'master' into bluebox-production-org