added encoding identifier to head of the python files