New release: Tor 0.4.1.5

https://blog.torproject.org/new-release-tor-0415