Proto/DAL: Extend refutation proofs to support reveal_adal_page case (1/3)

Stacked on top of !15651 (merged)

This is the first part towards extending refutation games on the protocol side to support Adjustable DAL. It does the following:

• Adds two parameters, attestation_threshold_percent and restricted_commitments_publishers, to function Dal_slot_repr.produce_proof (which just ignores them), and instantiate those parameters with None in default DAL
• It implement the ADAL case in Sc_rollup_proof_repr.produce(_proof) by providing the values read from Reveal_adal_page primitive
• It extends Dal_slot_repr.produce_proof to take into account those parameters and decide whether a slot is attested or not thanks to the newly introduced function Dal_slot_repr.is_commitment_attested.

The extension of valid and verify_proof functions will be done in a follow-up MR. It'll not be that immediate for Dal_slot_repr.verify_proof as we don't have the Reveal_adal_page _'s value when calling this function, but the value is rather constructed from the output of verify_proof. A first idea would be to also make verify_proof return a function that could be called on the Reveal_adal_page _ once it's constructed. But, we'll investigate other simpler approaches first is possible.