use the session manager from campudus
introduce the pac4j manager verticle