copy use 0 padding

tools/copy.py

@@ -42,7 +42,7 @@ def main():
                 hash: str = hashlib.sha256(image_data).hexdigest()
 
                 if copy_info.get(hash) is None:
-                    new_name: str = str(len(copy_info))
+                    new_name: str = f"{len(copy_info):05d}"
                     path: str = os.path.join(output_folder, new_name)
 
                     os.makedirs(path)