Handling keyboard interruption and outputting better exception info