Allow a program to exit on keyboard interrupts or other signals (fixes #1)