Coverity integration #1

For review purposes only. This allows us to use https://scan.coverity.com for free!