added gzip support to PHP-HTTP interfacing class