[galaxy-dev] Integrating Galaxy into our Kerberos auth