use true/false instead of 1/0 detected and changed by clang-tidy

tools/binary2txt.cpp

@@ -97,7 +97,7 @@ int main(int narg, char **arg)
 
     // loop over snapshots in file
 
-    while (1) {
+    while (true) {
       int endian = 0x0001;
       int revision = 0x0001;