[Python-ideas] profiling: manual instrumentation with pystones