Explicitly encode to UTF-8

In the C locale, python encodes standard input and output as ASCII.
These days, UTF-8 is the only encoding one needs to worry about.