Update tor's default branch name
In the not-too-distant-future, tor will move from master to main, we should land a patch at (roughly) the same time.
In the not-too-distant-future, tor will move from master to main, we should land a patch at (roughly) the same time.