Lazy storage

Target to change back to proto-proposal once !317 (merged) is merged (gitlab is so bad at handling dependencies!)

Contains:

• !96 (merged)
• !274 (merged)
• !244 (merged)
• some commits or part of them from @clarus1, can't find the MR reference because we don't keep track of them
• remove Env change or add full signature of tzOption (done in !323 (merged))
• fix RPC in case there are several bigmaps
• add docstrings
• add some unit tests and make a list of other tests to do after this MR (follow up on #213) (some done in !341 (merged))

The goal of lazy storage is to generalize what is done for big maps in Michelson so that we can add more types with a similar behaviour without worrying too much.

src/proto_alpha/lib_protocol/dune.inc

@@ -52,7 +52,7 @@ module CamlinternalFormatBasics = struct include CamlinternalFormatBasics end
    manager_repr.mli manager_repr.ml
    commitment_repr.mli commitment_repr.ml
    parameters_repr.mli parameters_repr.ml
-   lazy_storage_kind.ml
+   lazy_storage_kind.mli lazy_storage_kind.ml
    raw_context.mli raw_context.ml
    storage_costs.mli storage_costs.ml
    storage_sigs.ml
@@ -133,7 +133,7 @@ module CamlinternalFormatBasics = struct include CamlinternalFormatBasics end
    manager_repr.mli manager_repr.ml
    commitment_repr.mli commitment_repr.ml
    parameters_repr.mli parameters_repr.ml
-   lazy_storage_kind.ml
+   lazy_storage_kind.mli lazy_storage_kind.ml
    raw_context.mli raw_context.ml
    storage_costs.mli storage_costs.ml
    storage_sigs.ml
@@ -214,7 +214,7 @@ module CamlinternalFormatBasics = struct include CamlinternalFormatBasics end
    manager_repr.mli manager_repr.ml
    commitment_repr.mli commitment_repr.ml
    parameters_repr.mli parameters_repr.ml
-   lazy_storage_kind.ml
+   lazy_storage_kind.mli lazy_storage_kind.ml
    raw_context.mli raw_context.ml
    storage_costs.mli storage_costs.ml
    storage_sigs.ml
@@ -432,7 +432,7 @@ include Tezos_raw_protocol_alpha.Main
    manager_repr.mli manager_repr.ml
    commitment_repr.mli commitment_repr.ml
    parameters_repr.mli parameters_repr.ml
-   lazy_storage_kind.ml
+   lazy_storage_kind.mli lazy_storage_kind.ml
    raw_context.mli raw_context.ml
    storage_costs.mli storage_costs.ml
    storage_sigs.ml