[MLton] Option to show path map

[Henry Cejtin]

I must say that I usually find the requirement to give a file name for
-show-basis to be a pain.  One can fake it with hacks like
	-show-basis /dev/fd/1
but that is pretty ugly.