Returns a HTML escaped string. Equivalent to using html-display-escaped-string with a string output port.