add MLton dependency

Otherwise, c-parser would fail to run the proofs.