Rename main branch from `master` to `main`

[janpio]

Needs checking if some of the tooling might depend on the branch name to work.

[janpio]

We already added the main branch and made it the main one here, but kept master around if anything relies on that old branch name.

We should remove it when we know that master is not needed any more.