Merge JoinMarket-Org/joinmarket-clientserver#1408: Update local Tor to 0.4.7.12

7d0ca22749 Update local Tor to 0.4.7.12 (Kristaps Kaupe)

Pull request description:

  There have been multiple bugfixes between 0.4.7.8 and 0.4.7.12, including major fixes aimed at helping defend against network denial of service. https://gitlab.torproject.org/tpo/core/tor/-/raw/release-0.4.7/ReleaseNotes

ACKs for top commit:
  AdamISZ:
    ACK 7d0ca22749 , please merge when it is convenient. (I sanity checked the shasum 3b5d969712c467851bd028f314343ef15a97ea457191e93ffa97310b05b9e395 by downloading from https://archive.torproject.org/tor-package-archive/ ).

Tree-SHA512: b5df074411cfe4362a7148a5baa12de4c1dbd7e15f9026cea631fa94139346f3b8bb08cb54477dd7b46a0ca3d8f1e9891782f55e351f324b02db6a1fb72d4110

install.sh

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