[MLton] documentation question: LIB_MLTON_DIR

[Matthew Fluet]

> Why do we document the existence of LIB_MLTON_DIR at
>
>  http://mlton.org/MLBasisPathMap
>
> It seems to me that it could be dropped.

Fine by me.