[OxCaml] Parameterized libraries: parameterized library

[maiste]

This issue tracks the work related to the parameterization of libraries with parameterized libraries in OxCaml. This part requires #12084 to be completed first.

Dune should support declaring a library as being parameterized by multiple parameters:

(library
  (name lib)
  (parameters p_intf q_intf ...) ; ocamlc lib.ml -parameter P_intf …
  ...)

All the files in that library must be compiled as usual, but with the additional -parameter P_intf -parameter Q_intf ... flags (ordering is irrelevant, but it doesn't make sense to have the same parameter twice).

[shonfeder]

IIUC, there is WIP on this from @art-w in https://github.com/art-w/dune/commits/lib-with-parameters/