We need to pass UTF-8 encode bytestrings to stdout.

Otherwise our RPython-compiled interpreter crashes on attempting to
print non-ASCII strings.