Replace Codecov with a better solution #228

For instance: https://nedbatchelder.com/blog/202209/making_a_coverage_badge.html, although it seems a bit heavy handed.