Migrate servlet-api to Jakarta #16
Description
Hi,
while working on the Spring Boot auto-configuration for micrometer-tracing, I noticed that micrometer-tracing-bridge-brave has a dependency on javax.servlet:javax.servlet-api:4.0.1.
To be included in Spring Boot 3, this has to be migrated to Jakarta.