PHP microbenchmarking tool