Add WORKER_POOL environmental option to facilitate pysawsim.manager benchmarking.