Test coverage

This allows measuring the coverage of our unit tests.