benchmark: output JSON-compatible numbers
This is to simplify the implementation of a JavaScript version of the compare.R script.
See https://github.com/targos/node-benchmark-compare
You can try it with:
npm i -g node-benchmark-compare
node-benchmark-compare result.csv
I verified that the script gives the exact same numbers as the R script.