Opam package for verified extraction 0.9

[mattam82]

Waiting on an updated malfunction package

[silene]

While the pull request has been accepted, it seems opam update does not yet know about malfunction >= 0.6 (double-checked locally). I guess we need to wait a whole day before restarting the CI.

[spitters]

You may want to look at https://github.com/CertiCoq/certicoq/issues/96 before releasing.

[palmskog]

@spitters according to the analysis by Gaëtan on Zulip, this should be something that only affects CertiCoq, and since verified extraction doesn't use anything from CertiCoq, I don't see how it can be affected.

[mattam82]

@palmskog @silene this is ready now