RFC: First option for server push API.

Clients have access to actual pushed responses, as well as shortcuts to read
values without using the cache.