Upgrade Tor to 0.4.7.12

Merged akwizgran requested to merge tor-0.4.7.12 into main

Merge request reports