Parameterize the output metrics directory.

Allows you to specify a custom directory (e.g. via Jenkins parameters) to put the benchmark JSONs in by your choice of the global variable `METRICS_DIR`; defaults to local `Benchmarks` director.