Add mlton .mlb file to allow building of holdeptool.

Basis for interesting experiments. Curious state-of-play, as of this
commit:

- mlton is (~4.5x) faster running holdeptool
- Poly/ML is (~4.5x) faster running unquote

In both cases, on the 30MB CakeML file.