Human-readable HTML tracebacks for Python exceptions
