standardml/smackage — pull request #22 by gian (2014-09-26 19:10:18+00:00)
Title: Add mlkit support and bump to 1.3.0

We might as well add MLkit support given its glorious resurrection :)

I also got rid of the dependency on the SMLNJ Util library, given that we were only using it for sorting (it's something of an impediment for PolyML support too).

FYI @robsimmons. I'll likely merge this as soon as someone agrees.