PHP5 CAS Authentication library