Issue #10117: Tools/scripts/reindent.py now accepts source files that

use encoding other than ASCII or UTF-8.  Source encoding is preserved
when reindented code is written to a file.