[tor-commits] [tor/master] dirvote: Rename authority_cert_dup()