Bump travis-build.

Includes a fix for coverity addon.
Merge branch 'master' into bluebox-production-org