GitHub #20: Handle KeyboardInterrupt (Ctrl-C)