Extracting Exceptions From Python Tracebacks