jsonstream WIP
first version of Pull
* Remote API: send push/pull progress bar as json
Added FIXME about possible race condition in a unit test
Fix a unit test broken by pull request #703