Avoid mutex in Logger#progress.

Closes #717
Fixes #731