Make dockerfile mac-compatible (use Debian version of mlton)

[agoode]

Potentially controversial, but it makes building much easier for me.

[jcreedcmu]

I don't think I have any short-term plans to build this whole thing in CI (and that was the only concrete reason not to do it this way, right?) so seems fine to me.