GZIPInputStream supports a concatenated gzip stream.
Merge branch 'concatenated_gzip_streams' into dev