Impose geodiff push limits

Let's limit the size of single push by imposing:

  - 10 000 changes in all gpkg files / per push
  - 10 MB as max size of all gpkg-diff files / per push

And split the work into multiple pushes. For splitting the workload we need https://github.com/MerginMaps/geodiff/issues/224