[tor-commits] [tor/maint-0.4.2] Update geoip and geoip6 to the December 3 2019 database.