fix Print_astTerminationScript.sml for latest HOL

This was required for it to build on my machine with HOL d260270.
Feel free to replace with an equivalent fix.
fix ml_translatorScript.sml for latest HOL

This was required for it to build on my machine with HOL d260270.
Feel free to replace with an equivalent fix.
fix ml_translatorLib.sml for latest HOL

This was required for it to build on my machine with HOL 3aa000c.
Feel free to replace with an equivalent fix.
fix ml_monadScript.sml for latest HOL

This was required for it to build on my machine with HOL 3aa000c.
Feel free to replace with an equivalent fix.
Make a copy of evaluateEquationsTheory in compiler/correctness

This means compiler/correctness doesn't have to depend on metatheory,
which is broken at the moment (and will be changed on the modules branch
anyway).
fix int_langScript.sml for latest HOL

This was required for it to build on my machine with HOL 3aa000c.
Feel free to replace with an equivalent fix.