Enhancement of the "criterion" benchmarking library