All Your GUCs in a Row: krb_caseins_users and krb_server_keyfile

PostgreSQL's GSSAPI authentication relies on two server-wide settings: `krb_server_keyfile` points to a dedicated keytab file (never share the system one), and…