Merge branch 'tor-4.8.13' into 'master'

Tor 0.4.8.13

See merge request !38

tor-versions.json

 {
+  "0.4.8.13": {
+    "tor": {
+      "url": "https://gitlab.torproject.org/tpo/core/tor.git",
+      "commit": "tor-0.4.8.13"
+    },
+    "libevent": {
+      "url": "https://github.com/libevent/libevent.git",
+      "commit": "release-2.1.12-stable"
+    },
+    "openssl": {
+      "url": "https://github.com/openssl/openssl.git",
+      "commit": "OpenSSL_1_1_1w"
+    },
+    "xz": {
+      "url": "https://git.tukaani.org/xz.git",
+      "commit": "v5.2.10"
+    },
+    "zlib": {
+      "url": "https://github.com/madler/zlib.git",
+      "commit": "v1.2.12"
+    },
+    "ndk": {
+      "url": "https://dl.google.com/android/repository/android-ndk-r21e-linux-x86_64.zip",
+      "revision": "21.4.7075529",
+      "sha256": "ad7ce5467e18d40050dc51b8e7affc3e635c85bd8c59be62de32352328ed467e"
+    },
+    "upstream": {
+      "url": "https://code.briarproject.org/briar/tor-browser-build.git",
+      "commit": "tor-0.4.8.13",
+      "tor-browser": "14.0.2",
+      "libevent": "2.1.7",
+      "reproduce-upstream": true
+    },
+    "timestamp": "201001010000.00"
+  },
   "0.4.8.9-1": {
     "tor": {
       "url": "https://gitlab.torproject.org/tpo/core/tor.git",