(bug 57015) Make dumpJson log to stderr.

Progress reports and errors now go to stderr per default,
and can be redirected using the --log option.

Change-Id: I561a003ea2ef4fa979d260b1a754b853343c4f4e
Merge "(bug 57015) Make dumpJson log to stderr."