Renamed branch to main

[joshka]

Just a quick heads up. I just now renamed the default branch from master to main for consistency with github defaults and our other repos.

If you need to fix your local branch up to align with this, the instructions are:

git branch --move master main
git fetch origin
git branch --set-upstream-to origin/main main
git remote set-head origin --auto