Update datamodel_lifecycle for easier pool join (#6310)

Author: gangj

ocaml/idl/datamodel_lifecycle.ml

@@ -63,6 +63,8 @@ let prototyped_of_field = function
       Some "23.14.0"
   | "Observer", "uuid" ->
       Some "23.14.0"
+  | "Repository", "certificate" ->
+      Some "25.7.0"
   | "Repository", "origin" ->
       Some "24.23.0"
   | "Repository", "gpgkey_path" ->
@@ -120,7 +122,7 @@ let prototyped_of_field = function
   | "VM", "actions__after_softreboot" ->
       Some "23.1.0"
   | "pool", "license_server" ->
-      Some "25.5.0-next"
+      Some "25.6.0"
   | "pool", "recommendations" ->
       Some "24.19.1"
   | "pool", "update_sync_enabled" ->
@@ -183,6 +185,8 @@ let prototyped_of_message = function
       Some "22.20.0"
   | "Repository", "set_gpgkey_path" ->
       Some "22.12.0"
+  | "Repository", "introduce_remote_pool" ->
+      Some "25.7.0"
   | "Repository", "introduce_bundle" ->
       Some "24.23.0"
   | "PCI", "get_dom0_access_status" ->