Predicate doubleQuoteEscaping

Wrap a string with double quotes, adding a backslash escape character if necessary.

For instance, doubleQuoteEscaping("foo") = "\"foo\"", and doubleQuoteEscaping("foo\"bar") = "\"foo\\\"bar\"".