Handle SIGINT properly.

As explained by http://www.cons.org/cracauer/sigint.html