SpringBoot Switch to Jersey's jersey-micrometer module for Jersey metrics

This is a prerequisite for https://github.com/spring-projects/spring-boot/issues/38984 as Micrometer's Jersey support has been deprecated in 1.13. Following this change, Jersey users will have to add a dependency on org.glassfish.jersey.ext:jersey-micrometer to get metrics with Jersey.

For backwards compatibility, we'll continue to support a user-configured io.micrometer.core.instrument.binder.jersey.server.JerseyTagsProvider bean in a deprecated form. A org.glassfish.jersey.micrometer.server.JerseyTagsProvider bean is preferred.