Hopefully finally fix coverity!
Add coverity badge