Define utf-9 coding for .py files

Fixes #7