[Python-ideas] Allow Profile() to be used as a context manager