Cleaner output of KeyboardInterrupt