Configure Travis-CI for Coverity.