Produce a string in double quotes with backslash sequences in all the right places. In JSON text, a string cannot
contain a control character or an unescaped quote or backslash.
Parameters:
string - a String
Returns:
a String correctly formatted for insertion in a JSON text