fetch: log download time & rate; improve JSON logging

[riptl]

The fetch tool should:

• the total download time and average download rate after all downloads have finished
• log total download rate every 10 seconds
• mention per-file download rate in the progress bars