[tor-commits] [tor/master] Add missing ed25519_ref10 headers to NOINST_HEADERS.