[galaxy-dev] CILogon for Galaxy