Issue #10639: reindent.py tool now accepts a --newline option to specify the newline to be used in the output of converted files.