a very simple php profiler