Use devise and devise_cas_authenticable to handle CAS authentication