renaming `master` branch to `main`

[rayrrr]

We will soon be renaming the default branch from master to main, in line with new repositories created on GitHub. Some ideas how to do this are described here and here.