Merge JoinMarket-Org/joinmarket-clientserver#1431: Update local Tor to 0.4.7.13

01dc08a438 Update local Tor to 0.4.7.13 (Kristaps Kaupe)

Pull request description:

  https://gitlab.torproject.org/tpo/core/tor/-/raw/release-0.4.7/ReleaseNotes

Top commit has no ACKs.

Tree-SHA512: 88339a02815ef15b1948784435b9af7eddb4f2fb2d46582482b16779208e0583e7d6aee6ed021e3afd80d2465bf99b37def7a427a2141a8de9baaca5dc1a4e1b

install.sh

@@ -408,9 +408,9 @@ tor_build ()
 
 tor_install ()
 {
-    tor_version='tor-0.4.7.12'
+    tor_version='tor-0.4.7.13'
     tor_tar="${tor_version}.tar.gz"
-    tor_sha='3b5d969712c467851bd028f314343ef15a97ea457191e93ffa97310b05b9e395'
+    tor_sha='2079172cce034556f110048e26083ce9bea751f3154b0ad2809751815b11ea9d'
     tor_url='https://dist.torproject.org'
     tor_pubkeys='Tor.asc'