Added encoding and editor hints to Python source.