Unicode hex escapes work; utf-8 in string literals appears to work; python-parser.py modified to accept utf-8 encoded programs