replace backslashes in strings with \HOLTokenBackslash{}

in the EmitTeX pretty-printing backend. This makes it less likely that
TeX gets confused into thinking a non-existent command is starting
within a string literal.