Rename master to main

[stevecheckoway]

The current trend is to use main rather than master. GitHub has simple tooling for this. It doesn't change local checkouts (of course).

Here are the instructions for changing the local branches.

$ git branch -m master main
$ git fetch origin
$ git branch -u origin/main main