Add CLI optional to disable progress reporting (for CI)

[keichinger]

Currently we're heavily relying on CircleCI and the reported progress is messing up the output, since each update is individually printed.

An CLI option to disable progress reporting would be highly appreciated.

The option should work for regular building as well as for the analyze command.