Load .data.json files on-demand in fine-grained mode#4910

msullivan merged 5 commits intomasterpython/mypy:masterfrom

less-deserpython/mypy:less-deserCopy head branch name to clipboard