Configuration for Travis-CI, used for Coverity Analysis