Firefox WebSocket bug compromises Tor anonymity