Avoid having to hardcode ocaml magic numbers in source.
Avoid having to hardcode ocaml magic numbers in source.

This is made possible by reusing the printer provided by pr_dump.cmo,
rather than coding the  dumping of the AST ourselves.

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq