[MLton] cvs commit: -profile count

[Stephen Weeks]

> I played around with allowing -profile-branch to apply to all the profile
> kinds, and it seems perfectly reasonable.  The only remaining issue is how
> to export the functionality at the command line. 

Maybe it would be simplest to have the default for -profile-branch
always be false, to expose -profile-branch as a normal option, and to
mention in the -profile count docs that -profile-branch true will be
useful.