proper Console_Progress as for other command-line tools;

--- a/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 16:03:43 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 16:15:37 2025 +0100
@@ -707,7 +707,9 @@
       val more_args = getopts(args)
       if (more_args.nonEmpty) getopts.usage()
 
-      find_facts_index_component(options, target_dir = target_dir)
+      val progress = new Console_Progress()
+
+      find_facts_index_component(options, target_dir = target_dir, progress = progress)
     })