Small PHP library for benchmarking.