Outdated documentation about decompress

[yurug]

In learn-ocaml, we did that:

    (Decompress.Zlib_deflate.default ~proof:Decompress.B.proof_bytes level)

Here:

https://github.com/ocaml-sf/learn-ocaml/blob/4c4d1fcbbf09fa4398809bb668b062c9e2698c3c/src/server/learnocaml_server.ml#L483

How should we translate this command?

[dinosaure]

Yes, I will trupdate documentation. About diff between proof and witness, it's mostly an aesthetic update when witness is probably more convenience and understandable than proof. An update to the last API should be easy and make a new state of decompress is:

let t = Decompress.Zlib_deflate.default ~witness:Decompress.B.bytes level in

[yurug]

Thanks @dinosaure!

[dinosaure]

Fixed by #66