(plugin) A Central Authentication Server (CAS) interface for our appdev framework.