Use fancy Unicode progress bar by default

but allow setting it to plain ASCII with `--progress-bar-style=ascii`