Adding coverity badge