switched to using the github submodule for phpCAS