use the session manager from campudus
introduce the pac4j manager verticle
Merge pull request #1 from pac4j/session-manager

use session manager and pac4j manager