Bump travis-build.

Includes latest updates to the Coverity addon.