tools.cli.progress(): format progress counter
rtfetch: show progress counter