[armedbear] #478: Command-line option to terminate process on unhandled errors