Minor fixes

• All progress bars now silence when the output is redirected into a file or pipe
• Progress bars no longer overwrite some of the previous output (i.e. the cursor is no longer moved up too often).