Add coverage statistics to CI script