Bump tomcat.version from 10.1.19 to 10.1.20

Bumps `tomcat.version` from 10.1.19 to 10.1.20.

Updates `org.apache.tomcat.embed:tomcat-embed-core` from 10.1.19 to 10.1.20

Updates `org.apache.tomcat.embed:tomcat-embed-jasper` from 10.1.19 to 10.1.20

Updates `org.apache.tomcat.embed:tomcat-embed-websocket` from 10.1.19 to 10.1.20

Updates `org.apache.tomcat:tomcat-catalina` from 10.1.19 to 10.1.20

---
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

@@ -28,7 +28,7 @@
     </description>
 
     <properties>
-        <tomcat.version>10.1.19</tomcat.version>
+        <tomcat.version>10.1.20</tomcat.version>
         <jetty.version>11.0.15</jetty.version>
         <jetty9.asm.version>7.0</jetty9.asm.version>
         <websockets.api>2.1.1</websockets.api>