Replace derivative with educe

[weikengchen]

Description

Same as a related PR in algebra: arkworks-rs/algebra#832

There are some side effects of the derivative crate due to it being in a very old Rust edition. This PR replaces derivative with a popular alternative, educe.

It also appears that educe simplifies some derivations.

---

Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

• Targeted PR against correct branch (master)
• Linked to Github issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• Re-reviewed Files changed in the Github PR explorer

N/A:

• Wrote unit tests
• Updated relevant documentation in the code
• Added a relevant changelog entry to the Pending section in CHANGELOG.md

[weikengchen]

Let me take a look at the failing test---I think Rust changes how it handles "cfg(ci)".

[weikengchen]

Added the lint exception to let Rust allow "ci" cfg, and then, patch the std as well, which is necessary in loading alloc::sync when std::sync is not present.