Properly escaping list separators when printing to SDF.

Fixing #733 
@dwightguth please review.
No no no. You need to escape for maude here. EnquoteString escapes K strings.