Coverity scan support for Travis CI builds