Trap INT and exit cleanly on CTRL-C