[Python-ideas] Extending traceback to (optionally) format and show locals.