README: add Coverity badge