Upgrade Tor from 0.4.5.8 to 0.4.7.13
Tor 0.4.5 series reached End Of Life on Feb 15th 2023: https://gitlab.torproject.org/tpo/core/team/-/wikis/NetworkTeam/CoreTorReleases
This commit upgrades Tor on EOTK to the latest 0.4.7.13 release.
Recently Tor changed the way it distributes tarball signatures, so this commit also keep things up to date in that regard.