Integrate code coverage reporting

This fixes #89.