Merge pull request #583 from peternewman/coverity_scan

Add support for Coverity scan
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...