Add camlp4 formula and hook it into OCaml/OPAM package

See #33596 for related discussion.
testcase doing a syntax conversion added in 5d23d962c1c1b0751ec438747a0113512df873ab