Converts a single-quoted String to a double-quoted String. Surrounding whitespace is dropped, and inner backslashes and double quotes are backslash-escaped so the result is a well-formed double-quoted string. A string that is not single-quoted is returned unchanged.