Fix interpretation of T as destination argument to FORMAT-TIMESTRING

Make FORMAT-TIMESTRING write to *STANDARD-OUTPUT* when T is passed as
DESTINATION argument, like promised in the docstring.  WRITE-STRING
accepts a stream designator as destination, and T as a stream
designator designates *TERMINAL-IO*.