Add Tor 0.3.5.12.

2 jobs for tor-0.3.5.12 in 67 minutes and 43 seconds (queued for 4 seconds)