Set UTF-8 encoding

Thought I was being clever using a Unicode copyright character in a
comment but now Python's complaining about seeing a non-ASCII character
(in a *comment* even!).