ctrlC-hook

When ctrl-C is pressed, this function is executed.
User can define one's own ctrlC-hook function.