mypy

dad89860 - Implement cloning typeshed in typeshed sync script (#9983)

Implement cloning typeshed in typeshed sync script (#9983) Now you can sync the current typeshed master by just running `misc/sync-typeshed.py` without any arguments.