Write coverage statistics to json file

Там одно поле по-другому называется. И не хочется вывалить все в файл если вдруг в этой структуре появится что-то еще.