Add UTF-8 encoding header to Python scripts. (rebase)

rebases #904