[Python-ideas] Small improvements to the profile/cProfile API