Replaced format/str with cl-format "~va" in format-top-labels.
Deleted obsolete versions of format-top-labels.
Replaced (str ...) with cl-format in pprint functions.