Change name of "master" branch to "main"

[jpn--]

trafficstars

I suggest we follow the "new" (from 18 months ago) default branch naming scheme at GitHub, and swap out the "master" name for "main".

This change should have minimal impact on workflow. It will require updating docs, and anyone currently with the repo checked out may need to update their remote configuration to point to the right places.