mypy

aa9b516d - Write serialized options to a file to broadcast to workers (#21306)

Write serialized options to a file to broadcast to workers (#21306) Fixes https://github.com/python/mypy/issues/21305 In theory we can also send options over the socket, but they are needed very early, so it is easier to read them from a file with how the code is organized now.