Sample CAS server using REST API with extra info for the ticket and a token manager interface.