Tor Project lays off 13 out of 35 staffers.