Added automated coverage reporting to CI.