Add camlp4 formula and hook it into OCaml/OPAM package

See #33596 for related discussion.
Yeh, probably.