added a little command to benchmark PHPCR