Very simple (but useful) WSGI profiler middleware