A new push implementation. This updates us to the latest revision of the push

API which has a much simpler interface. Look in the module doc string for how
this API would be used.

Reviewed in https://codereview.appspot.com/9885043/.