Rename master branch to main

[kazet]

As main became the new standard on Github, renaming the main branch here would make work easier (e.g. the developers won't have to remember what repo uses master and what uses main)