Add crawl.py example#1878

Merged

gvanrossum merged 2 commits intomasterfrom

Jul 18, 2016

Commits on Jul 15, 2016

Add crawl.py example, working and fully annotated.
Guido van Rossum
committed
Sync typeshed (to new and improved asyncio stubs).
Guido van Rossum
committed