Refactor some .mlb files to get better sharing/modularity

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.