Simple benchmark tools for PHP