Has Tor been bugged by the NSA?