Add encoding comment to `*.py`

It existed in some places, but not others, so…