Switch master branch name to 'main'

Summary

We went from 'master' to 'main', as it's the new git default.

Explain your context

What is the expected correct behavior? What was your goal?

• correct branch should be selected

What is the current bug behavior?

• name has not been updated everywhere
• Readthedocs is still on master, not main