Add # -*- coding: utf-8 -*- to all python modules to help non-ASCII users