First attempt at integrating coverity

Let's hope this succeeds!