Tor project sees decline server numbers