handle KeyboardInterrupt in tube.interactive()