Add a global option to turn off progress bars

[fmaussion]

On the cluster the logs look ugly:

^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:00                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:01                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:01                                                ^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:01                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:01                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:01                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:01                                                ^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               
^M|   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:02                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M/   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M-   0.0 B Elapsed Time: 0:00:03                                                ^M                                                                               ^M\   0.0 B Elapsed Time: 0:00:04                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:04                                                ^M                                                                               ^M|   0.0 B Elapsed Time: 0:00:04 

cc @TimoRoth