vv: better parsing for Python Traceback