Upgrade Tor to 0.4.7.13

Merged akwizgran requested to merge tor-0.4.7.13 into main

Merge request reports