Python: Defining Python Source Code Encodings