Sync zoneinfo database with tzdata2007h from elsie.
africa: 8.9 -> 8.10
asia: 8.11 -> 8.12
southamerica: 8.11 -> 8.12
From Paul Eggert's comments:
* Brazil will observe DST from 2007-10-14 00:00 to 2008-02-17 00:00.
(Thanks to Steffen Thorsen for this.)
* Egypt switched earlier than we expected. (Thanks to Dirk Losch
and Jesper Norgaard Welen for this.)
* Likewise for Gaza. (Thanks to Jesper Norgaard Welen for this.)
* Iran will resume DST next year. (Thanks to Jesper Norgaard Welen
for this.)
* Venezuela is currently planning to change time zones on January 1,
to -04:30. This seems to be a bit disorganized, but I suppose we
can change the database later as needed.