Python: list encodings used on Windows