[tor-commits] [tor/master] prop250: Use the new dirvote_get_intermediate_param_value for AuthDirNumSRVAgreements