[MLton] Option to show path map

[Henry Cejtin]

What about the old Unix standard of using the file name - to mean stdout?
I.e., the option
	-show-basis -
would mean to write the basis to stdout.