Improved script for generating timezone.php

It would be better to do this in PHP and cache the timezones in
a lookup table, but this is an improvement over the existing version.