Fiat Cryptography v0.1.0

Compatible with Coq 8.17, 8.18; requires OCaml >= 4.08

We now generate single unified fiat_crypto binaries which can synthesize according to all the various implementation strategies.

What's Changed

• Rust Crate Version Bump by @github-actions in #1731
• Single Binaries by @JasonGross in #1730

Full Changelog: v0.0.26...v0.1.0