Restore correct source file encodings

migration.py includes a non-ASCII character in the top source
comments, so a "coding" directive is needed.  Additionally,
the word "coding" is now used in test_sqlalchemy.py instead
of "encoding".

Change-Id: Ic977b564c5de9261686503506f4edec4a8d8682d