WordPress plugin for allowing users without CAS credentials to log into our CAS-restricted installation