Function Print-Date-Verbose
(
print-date-verbose < seconds > < minutes > < hours > < day > < month > < year > < day-of-the-week > &optional < stream > )
print the date and time in verbose form on stream.
if stream is nil, construct and return a string.