piros/tor: Code added to Tor to support PIR-based onion service descriptor lookups @ 436f7106b445b24f4f9aa4dc68584129c4b375cc

Karsten Loesing 436f7106b4 Exclude Teredo IPv6 prefix from geoip6.		10 lat temu
..
geoip	3b0265198f Update to the October 2013 GeoIP database.	11 lat temu
geoip6	96a7313475 Update geoip6.	12 lat temu
include.am	b17aa28e46 Actually distribute the geoip6 file.	12 lat temu
mmdb-convert.py	436f7106b4 Exclude Teredo IPv6 prefix from geoip6.	10 lat temu
torrc.sample.in	3b6c48328b Or maybe it is 2013. Who can say?	11 lat temu