Update README.md (add coverity badge).