CLI: filter out useless progress refresh on stdout.

17 months ago, Edouard Tisserant