Close #12032: Fix scripts/crlf.py for Python 3

Tools/scripts/crlf.py

@@ -8,16 +8,16 @@ def main():
         if os.path.isdir(filename):
             print(filename, "Directory!")
             continue
-        data = open(filename, "rb").read()
-        if '\0' in data:
+        with open(filename, "rb") as f:
+            data = f.read()
+        if b'\0' in data:
             print(filename, "Binary!")
             continue
-        newdata = data.replace("\r\n", "\n")
+        newdata = data.replace(b"\r\n", b"\n")
         if newdata != data:
             print(filename)
-            f = open(filename, "wb")
+            with open(filename, "wb") as f:
                 f.write(newdata)
-            f.close()
 
 if __name__ == '__main__':
     main()