octocov: A toolkit for collecting code metrics

Collect code coverage, code-to-test ratio, and test execution time via GitHub Actions.