Write coverage statistics to json file