A simple library for high-resolution timing and benchmarking