Update Tor to 2.3.25-15
Merge pull request #1805 from desimone/patch-3

Update Tor to 2.3.25-15