Added a small PHP script to allow any arbitrary number of rounds of gzip
encoding.