F*: kyber: add and use diffs for proofs/fstar/extraction-* folders

[W95Psp]

Working towards #192

TODOs:

• add readme describing the workflow
• check ALL snapshots are up to date will do in a subsequent PR

[franziskuskiefer]

Should the hints really be in there? That makes the patch huge and I don't see why it needs to be there. We could just keep the files around. Same for the Makefile.
So that the patch is really a diff on the F* files.

[W95Psp]

Mmh, right. This makes sense for hint files, indeed.
But maybe for makefile it's good? things should be pretty similar.

[W95Psp]

Fixed that, now the script drops hints and makefiles!

[franziskuskiefer]

Thanks, already much smaller 🙂
But it doesn't apply right now 🤔

I see the vscode config (Kyber.fst.config.json) in there and the PROOFS.md in the patch as well. Should we pull them out too?

No strong opinion on them. This depends on the workflow as well. Speaking of which, let's document how to work with this somewhere in here.

[franziskuskiefer]

Thanks, let's get this in and then clean things up.

[W95Psp]

This PR now needs #194.......