Sync from Google-internal development.

Most notably, a JSON parser is now provided.