Remove coverity
Merge pull request #533 from peternewman/coverity_scan

Remove coverity