Don't leak our Coverity token in the Travis log and use a new token to replace the leaked one
Merge pull request #584 from peternewman/coverity_scan

Don't leak our Coverity token in the Travis log and use a new token to r...