mypy

Add script for cherry-picking commits from typeshed

#11737

Merged