Predicate unescapeDoubleQuote

Unwrap a string with double quotes, removing the double quotes and any escape characters.

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

Does not hold for any result value in the case where the string is not double quoted.