[CAS] pac4j upgrade to 6.0.1 breaking changes (CasClient & Config.sessionStore) about tock HOT 1 CLOSED

On Tock, to perform authentication with the CAS protocol, we use the following two pac4j libs: pac4j-core (v6.0.1) and vertx-pac4j (v6.0.2)
vertx-pac4j uses vertx-core, which has undergone huge changes, but vertx-pac4j has not kept up.

What is blocking :
In pac4j-vertx, to create the io.vertx.ext.web.handler.AuthenticationHandler, we use the org.pac4j.vertx.handler.impl.SecurityHandler implementation.
This class launches the following method in static:
static { Config.defaultProfileManagerFactory("VertxProfileManager", (ctx, store) -> { return new VertxProfileManager((VertxWebContext)ctx, (VertxSessionStore)store); }); }
Except that org.pac4j.core.config.Config.defaultProfileManagerFactory no longer exists in core as of v6.

// logs : java.lang.NoSuchMethodError: 'void org.pac4j.core.config.Config.defaultProfileManagerFactory(java.lang.String, org.pac4j.core.profile.factory.ProfileManagerFactory)'

So, as long as the vertx-pac4j lib hasn't been updated with the core changes, we should stick with pac4j-core: 5.7.3

from tock.