add mlkem.cmake symlink, move around version header kill script files

Author: keks

.github/workflows/mlkem-c.yml

@@ -125,14 +125,14 @@ jobs:
 
       - name: Diff Extraction C++
         run: |
-          libcrux-ml-kem/extracts/headers_kill_revs.sh libcrux-ml-kem/cg
-          libcrux-ml-kem/extracts/headers_kill_revs.sh ~/mlkem-cpp-extraction
+          libcrux-ml-kem/extracts/common/headers_kill_revs.sh libcrux-ml-kem/extracts/cpp
+          libcrux-ml-kem/extracts/common/headers_kill_revs.sh ~/mlkem-cpp-extraction
           diff -r libcrux-ml-kem/extracts/cpp/out ~/mlkem-cpp-extraction
 
       - name: Diff Extraction C
         run: |
-          libcrux-ml-kem/extracts/headers_kill_revs.sh libcrux-ml-kem/c
-          libcrux-ml-kem/extracts/headers_kill_revs.sh ~/mlkem-c-extraction
+          libcrux-ml-kem/extracts/common/headers_kill_revs.sh libcrux-ml-kem/extracts/c
+          libcrux-ml-kem/extracts/common/headers_kill_revs.sh ~/mlkem-c-extraction
           diff -r libcrux-ml-kem/extracts/c/out ~/mlkem-c-extraction
 
   build-c:

libcrux-ml-kem/extracts/c/out/mlkem.cmake

@@ -0,0 +1 @@
+../../cpp/out/mlkem.cmake

libcrux-ml-kem/extracts/header_kill_revs.sed renamed to libcrux-ml-kem/extracts/common/header_kill_revs.sed

@@ -7,6 +7,6 @@
 #
 # Run this from the repository root.
 
-grep -rl -e "This code was generated with the following revisions:" "$1" | xargs -d '\n' sed -i -f libcrux-ml-kem/header_kill_revs.sed
+grep -rl -e "This code was generated with the following revisions:" "$1" | xargs -d '\n' sed -i -f libcrux-ml-kem/extracts/common/header_kill_revs.sed
 rm -f "$1/code_gen.txt"
 rm -f "$1/header.txt"