README.md: add coverage badge