[PATCH] Prefer to use *.opt ocaml executables as they are more efficient.

Hello Gordon,

This is another attempt to use the .opt ocaml executables. I've attached these instead
of inlining them, so hopefully they won't give you problems applying them. Please let
me know if it's still not working, then I'll just do this the old fashioned way.

- Erick

9b5616832645f511a81ba69d0c7225e0f4ddbaae.diff (10.8 KB)

Hello again,

This just brings the patch up to HEAD.


3201d364fd9d5de011a1b0f5c01a52c5ef958224.diff (9.81 KB)

That worked much better. Applied.


Thanks, Erick!

— Gordon