Adding Coverity badge to README