[tor-commits] [tor/master] Implement voting on the protocol-version options