Integrate a code coverage check in CI

We can integrate code coverage using Codecov, which is free for public repositories. Its configuration can be taken from [diffmin](https://github.com/SpoonLabs/diffmin/blob/main/codecov.yml).