Bump tomcat.version from 10.1.24 to 10.1.25

Bumps `tomcat.version` from 10.1.24 to 10.1.25.

Updates `org.apache.tomcat.embed:tomcat-embed-core` from 10.1.24 to 10.1.25

Updates `org.apache.tomcat.embed:tomcat-embed-jasper` from 10.1.24 to 10.1.25

Updates `org.apache.tomcat.embed:tomcat-embed-websocket` from 10.1.24 to 10.1.25

Updates `org.apache.tomcat:tomcat-catalina` from 10.1.24 to 10.1.25

---
updated-dependencies:
- dependency-name: org.apache.tomcat.embed:tomcat-embed-core
  dependency-type: direct:development
  update-type: version-update:semver-patch
- dependency-name: org.apache.tomcat.embed:tomcat-embed-jasper
  dependency-type: direct:development
  update-type: version-update:semver-patch
- dependency-name: org.apache.tomcat.embed:tomcat-embed-websocket
  dependency-type: direct:development
  update-type: version-update:semver-patch
- dependency-name: org.apache.tomcat:tomcat-catalina
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

environments/servlet/pom.xml

@@ -25,7 +25,7 @@
     </description>
 
     <properties>
-        <tomcat.version>10.1.24</tomcat.version>
+        <tomcat.version>10.1.25</tomcat.version>
         <jetty.version>12.0.8</jetty.version>
         <websockets.api>2.2.0</websockets.api>
         <undertow.version>2.3.13.Final</undertow.version>