Options - debug and profile 4GL

The ttstpbshdebug session, which is used to set or modify various bshell debug options on runtime, has been extended with an option to disable buffering. This option prevents that the last part of a trace file is never written if a bshell, for whatever reason, is killed.