Rename default branch to main

[fjetter]

There's been a movement to switch the default branch from master to main to avoid possibly offensive nomenclature. There are also some official docs from github about the topic.