UTF-8 encoding placed in all code files

The second line of all .py files declares now the encoding:
# -*- coding: utf-8 -*-