add coverity badge