[PATCH 2/2] jscript: Support Unicode characters in identifiers.