Vendored dependencies. Do not edit by hand.

Refresh with: python scripts/vendor.py
Pinned versions are recorded in VENDORED.txt.
