[Python-ideas] Compressing excepthook output