get ml_monadScript.sml with real exceptions to build

ml_hol_kernelScript.sml doesn't work though