[Python-ideas] HTTP compression support for http.server