Allow pulling a section of the revlog.
Fix for a JSON encoding "quirk" in PHP
Merge https://github.com/dsnopek/anki-sync-server