Add header to stats.js
+// This file is part of BenchExec, a framework for reliable benchmarking:
+// https://github.com/sosy-lab/benchexec
+//
+// SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+//
+// SPDX-License-Identifier: Apache-2.0
+
import { isNil, NumberFormatterBuilder } from "./utils";
import { enqueue } from "../workers/workerDirector";
