small type and style changes
add --cmd-disable-stdin option to disable the local console and to allow better compatiblity with the MacOSX launcher