[Tails-dev] [review'n'merge:1.3.1] feature/tor-0.2.5.11

Hi,

I've rebuild Tor 0.2.5.11 "as usual" to get seccomp support, and
uploaded to the feature-tor-0.2.5.11 APT suite. No changes in Git.
Going to build an ISO and run some parts of our automated test suite
in it, but since I'm busy with other bits of an emergency release, if
you can please steal it from me and do the merge (and notify me about
it :)

If nobody has time to handle that, I'll have to merge it myself before
I build the 1.3.1 (or whatever we call it) emergency release ISO.

Cheers,
--
intrigeri