Verified Extraction 0.9.3 for Rocq 9.0

What's Changed

• Adapt to MetaRocq 1.4 for Rocq 9.0
• Uncapitalize inductives & records by @quimFIB in #32
• Use released versions 1.3.2 of MetaCoq and 0.6 of malfunction and cor… by @mattam82 in #33
• Nix CI by @mattam82 in #35

New Contributors

• @quimFIB made their first contribution in #32

Full Changelog: v0.9.2-8.19...v0.9.3+9.0