update the world for resto 0.7
This patch updates the repo to track opam master as of this writing, which includes resto 0.7, needed for tezos!5180 (merged).
This patch updates the repo to track opam master as of this writing, which includes resto 0.7, needed for tezos!5180 (merged).