print characters using names when *print-readably* is true

otherwise, #\Space characters could (and did) end up reading back
wrongly.