print() builtin uses printf() instead of sys.stdout #209
Description
Python defines print() in terms of using sys.stdout python object for output (http://docs.python.org/3.3/library/functions.html#print) uPy currently uses libc function printf(). This may lead to different buffering and garbled output.