[galaxy-dev] Adding an OpenID provider to Galaxy