[tor-commits] [tor/master] Set the file encoding in checkIncludes.py with Python3