rpi-central.py: add KeyboardInterrupt