Renamed default branch to main

[davidbrochart]

Anyone who has the repository already cloned will likely need to update it. These are the commands GitHub suggests:

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a