Update to BigSur

The release of BigSur is planned for 12.11.2020.

In the last beta versions there were still problems with:

• brew
• docker? (probably not for all, but some still up to date)