[MLton] Minor evolution request

[Henry Cejtin]

I  understand  the  idea behind this option, but as you suggested it it isn't
really right.  There is no reason to believe  that  the  number  of  CPUs  is
likely  to  be correlated to the number of processes occupying memory.  After
all, often one can have more processes, knowing that only the number  of  CPU
processes are actually using the CPU at the same time.

How about, instead, an option which simply specifies the number to divide by?
Then a shell script would be enough to provide the action you asked for.