Implement gziped body handling in http_extractor.

This already works in the v4 branch which Murad hopes to merge soon.