[MLton] -inline-into-main false

[Stephen Weeks]

I fixed "-inline-into-main false" so that it now works.  I wanted to
see if it helps on HOL (it doesn't help much).  I also ran the
benchmarks to see if it helps or hurts.  Here are the benchmarks whose
run-time ratio was 0.03 or more from 1.

MLton0 -- mlton -inline-into-main true
MLton1 -- mlton -inline-into-main false

run time ratio
benchmark         MLton1
boyer               0.90
count-graphs        1.12
knuth-bendix        0.92
life                0.95
mlyacc              0.95
ray                 0.97
tensor              1.03
vliw                1.06
zebra               1.03

As with -contify-into-main, a couple of surprising and unexplained
effects.  But nothing very interesting.