Log Message:
benchmarks/hyperfine: update to 1.13.0

Features:
-Added a new --shell=none/-N option to disable the intermediate shell for
 executing the benchmarked commands. Hyperfine normally measures and subtracts
 the shell spawning time, but the intermediate shell always introduces a
 certain level of measurement noise. Using --shell=none/-N allows users to
 benchmark very fast commands (with a runtime on the order of a few
 milliseconds). See #336, #429, and #487 (@cipriancraciun and @sharkdp)
-Added --setup/-s option that can be used to run make all or similar.
 It runs once per set of tests, like --cleanup/-c (@avar)
-Added new plot_progression.py script to debug background interference effects.

Changes:
-Breaking change: the -s short option for --style is now used for the new
 --setup option.
-The environment offset randomization is now also available on Windows, see #484

Other:
-Improved documentation and test coverage, cleaned up code base for future
 improvements.