minor performance tuning: SQL.order_by is only for demo purposes;

--- a/src/Pure/Build/build_process.scala	Mon Mar 11 22:12:56 2024 +0100
+++ b/src/Pure/Build/build_process.scala	Mon Mar 11 23:03:12 2024 +0100
@@ -406,8 +406,7 @@
       val select_sql =
         SQL.select(select_columns, sql =
           domain_table.query_named + SQL.join_outer + table +
-            " ON " + Updates.dom + " = " + Generic.name +
-            SQL.order_by(List(Generic.name)))
+            " ON " + Updates.dom + " = " + Generic.name)
 
       db.execute_query_statement(select_sql, List.from[(String, Option[A])],
         { res =>