readme.md: add Coverity scan status badge.