Configure for Coverity Scan on Travis CI