Escaping JSON output from PHP to Grader