function saveDevtoolsLog(devtoolsLog, devtoolLogFilename, options = {}) {
  return writeJson(function* () {
    yield* arrayOfObjectsJsonGenerator(devtoolsLog);
    yield '\n';
  }, devtoolLogFilename, !!options.gzip);
}
Save a devtoolsLog as JSON by streaming to disk at devtoolLogFilename.
@param {LH.DevtoolsLog} devtoolsLog
@param {string} devtoolLogFilename
@param {{gzip?: boolean}=} options
@return {Promise<void>}