coq: fix camlp5 --transitional dependency

Closes #22672.
Closes #22675.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>