patch for bug 443 (ENCODE-UNIVERSAL-TIME effectively ignores TIME-ZONE argument)

[Mark Evenson]

After reapplying the original patch (and thereby removing Robert
Dodier's changes), things seem much better in that the implementation
now no longer ignores the time zone argument to ENCODE-UNIVERSAL-TIME
and the ANSI test regressions have disappeared.

I consider this issue to be resolved unless someone else pipes up.


-- 
"A screaming comes across the sky.  It has happened before, but there
is nothing to compare to it now."