io: allow setting progress=False in solver to disable stdout even for larger models

[maurerle]

This was unnecessary when solving a lot of problems programatically.

The log param of the solve function does have three states:

• None: log tqdm to stdout if model is > 10k constraints
• True: always creates tqdm for model
• False: never creates tqdm for model

For better usage, the log param is renamed to progress on all occurrences

[lkstrp]

Looks good, thank you @maurerle
A few minor things left on types and docstrings.

[maurerle]

Looks good from my side now, @lkstrp can you take another look please? :)

[lkstrp]

Looks good, thank you!
Two last things:

• Release note is missing
• We can deprecate log instead of removing it. So accept both log and progress, and throw a DeprecationWarning when log is passed. There is a decorator for this somewhere, I can add it if you don't mind. It may be unnecessary, but I think it's better practice.

[maurerle]

If you add the remarks yourself, that would be great!
You should be able to push to my branch

From my point of view, the deprecation is not really necessary as there did not exist a public api to set log before anyway.