The path to the generated JSON log file, if enabled by dumpJson.
String get jsonFileName => '$_fileNameStart.tracker.json';