introduce the pac4j manager verticle