Bump org.apache.tomcat.embed:tomcat-embed-core in /environments/servlet

Bumps org.apache.tomcat.embed:tomcat-embed-core from 11.0.11 to 11.0.12.

---
updated-dependencies:
- dependency-name: org.apache.tomcat.embed:tomcat-embed-core
  dependency-version: 11.0.12
  dependency-type: direct:development
...

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

Author: dependabot[bot]

environments/servlet/pom.xml

@@ -25,7 +25,7 @@
     </description>
 
     <properties>
-        <tomcat.version>11.0.11</tomcat.version>
+        <tomcat.version>11.0.12</tomcat.version>
         <jetty.version>12.1.1</jetty.version>
         <websockets.api>2.2.0</websockets.api>
         <undertow.version>2.3.18.Final</undertow.version>