[MLton] release

[Matthew Fluet]

I'm planning on tagging a release over the weekend, since it has been 
nearly a week with no reports of any problems with the release candidates. 
I'm going to be updating
   http://www.mlton.org/ReleaseChecklist
things will be a little different this time around, since binary packages 
will be coming from a number of different developers.  Primarily, we'll be 
tagging before packaging, posting the source release, and asking binary 
builders to build from the source release.