add Gzip_io.string_lwt#25

tatchi wants to merge 2 commits intoahrefs:masterahrefs/devkit:masterfrom

tatchi:gzipio-string-lwttatchi/devkit:gzipio-string-lwtCopy head branch name to clipboard