Rename default branch to main

[palant]

New git projects (created after 2020) automatically get main as default branch name. Projects like this one which were created prior to this change still use master as their default branch. It should be changed manually, with the new name being both more descriptive and more inclusive.

Renaming the branch is pretty straightforward on GitHub. I requires admin privileges however, for the default branch mere write access isn’t sufficient.