Change default branch to main

Lots of projects have changed to `main` as the default branch name, for reasons that are well documented elsewhere; also, all the other projects I work on use `main` so it would be convenient to change.

I'm making this issue in case anyone wants to propose some reason not to do this.