ShellBuilder can now configure the history file
the history will now flushed after each shell exit
handle user interrupt can be configured