bin/pima_auto.py: And join pool on KeyboardInterrupt.