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.

Ref: tpo/core/team#2 (closed)