It is possible to compile Coq on one architecture and then the resulting OCaml on another architecture.

- Remove all '*.cm*' files.
- Fix the path to MenhirLib in Makefile.config
- make again