Add coverage test and report
- See e.g. https://github.com/pymola/pymola for Tox tests generating coverage. GitLab support some coverage parsing (https://docs.gitlab.com/ee/user/project/pipelines/settings.html#badges), but otherwise using codecov.io is okay as well.
- Add badge to README.md