Add Support to Allow Case Sensitivity in Path Route Predicate Factory

Is there any support of way we could use a custom Ant PathMatcher for the Path Route Predicate Factory? The benefit of this is we could reduce more pattern definitions in the path predicate factory.

E.g. The following is really impractical:

builder.routes()
    .route("foo-service", r -> r.path("/bar", "/Bar", "/BAR").uri("https://example.com"));

Proposed - the third parameter of the path factory method would take the caseInsensitive and use it to construct the PathMatcher:

builder.routes()
    .route("foo-service", r -> r.path("/bar", false, true).uri("https://example.com"));

Start by locating the Path Route Predicate Factory and the route builder's path API described in the issue. Determine how a custom Ant PathMatcher or case-sensitivity option would fit there, then verify that the proposed route syntax can distinguish matching behavior; done means path predicates support the requested case-sensitivity control without requiring repeated patterns.