Make Ruby handle SIGINTs in a less-ugly manner.