Changed launch_osx.sh to log to a crash file on unexpected exit; made a few other minor changes