new SML/NJ

[Matthew Fluet]

> > I see that there is a new version of SML/NJ (110.36).  Supposedly it has some
> > bug fix for ml-lex as well as floating point improvement for X86.
> > Are you (Stephen) still happy with 110.35?  I would like to upgrade to something
> > more recent than 110.9.1, but ...
> 
> I am happy with 110.35.  I say go ahead and upgrade.

I'd say switching to 110.36 because of the FLINT bug.  On the off chance
that that was the problem with the regression failure, I tried getting
110.36, but I had trouble with the ftp site.