[tor-dev] Today's openssl vulnerability; preliminary analysis wrt Tor