integration of PolySpace mods into MLton

[Henry Cejtin]

I wouldn't just put the -fschedule-insns or -fschedule-insns2 in without
a pretty careful test.  In the past the non-default optimization flags
would sometimes cause slowdowns and sometimes cause bugs.