gzip the output in PHP