Makefile not quite right

[Henry Cejtin]

The current makefile is not right because it leaves the executable mlton (the
one that ends up in /usr/local/lib/mlton/lib) in  src/mlton.   Thus,  if  you
then  try  and  re-build it, it tries to use THAT mlton (instead of the shell
script that gets put in /usr/local/bin) as what  it  should  run  to  compile
things.   I  thought about this some and I think that it is a mistake to call
this executable mlton.  Note with gcc, gcc is the analog of the shell  script
and cc1 is the analog of the a.out file.