new mlton script

[Stephen Weeks]

> My claim is that the reason flags incorrectly keep getting added to the mlton
> shell script is that it should  accept  run-time  options,  just  like  MLton
> executables do. 

Agreed.

> Any  way,  I  have cleaned up the mlton shell file so that it will now not be
> confused by any of these things.  I include here 2 versions: mlton which only
> runs  a MLton compiled MLton, and mlton+nj which does the usual.  Just like a
> real language, you have to use functions in the shell to get the  quoting  to
> come  out  correctly.   Note, even this version will get confused if some one
> tries to use an argument to the run-time system which  has  blanks  or  shell
> glob characters in it.  Pick the one you like, but definitely take one or the
> other.  I guess that the real argument  for  the  mlton+nj  one  is  for  the
> initial compile.

Thanks very much.  I'll keep the mlton+nj one.