[tor-commits] [tor/master] Allow ed25519 keys to be banned in approved-routers