A one-line progress bar on stderr, for pma scan.
pma scan
Silent when stderr is not a terminal, so a pipe or a CI log holds the same bytes it held before.