Rename io.push to io.pushDirty

The old io.push is now a more flexible call, which accepts
a PushRequest object. This allows you to push an arbitrary
set of records. The previous design limited you to pushing
ALL dirty records only.