Coverity-Travis integration improvements