Add SIGINT handler to save history, but currently commented because it doesn't work