utf-8 python source code encoding test