Coverity travis settings