customer should be able to configure max request body size for push

[phritz]

It's easy to exceed eg a 1MB request body in push if there are lots of mutations (eg, mouse movements) and the server is slow or unresponsive for a while. Push should pack its request with mutations in mid order up to the target size.