A C++ micro-benchmarking library