A nice PHP benchmarking framework