adding travis-coverity-scan.sh