bin/pima_auto.py: Terminate pool on KeyboardInterrupt.