Unit tests and code coverage

Currently there is a github action in place that does automatic unit testing upon pushing to github. These tests are generating code coverage reports as well.

Firstly, for each such run (see in the actions view or the PR tests) there is the option to download the code coverage as zipped HTML page. Secondly, the codecov.io service is installed, where more details about the coverage can be found.