MLton implementation of build

Compile with mlton build.mlb in the tools directory and then mv/cp the
resulting executable into the HOL/bin directory.

First hack at providing mlton Holmake