Support configuring --num-workers with an environment variable #21395

Now that we don't have best number of workers auto-detection, this may help people to e.g. set lower number of mypy workers in their CI jobs. And generally seems like a convenient thing to have. Thanks to @cdce8p for idea.

cc @JukkaL