Add signal handler for SIGTERM -- without it, Python's multiprocess
cleanup stuff won't kill the child processes.