Ctrl-C handling

Nicer KeyboardInterrupt handling (no lengthy traceback)