A verbose Python traceback formatter