Cleanup old mlkem hax and proofs

[franziskuskiefer]

The hax extraction on main is broken because the patches don't apply cleanly anymore. But we're moving to the new version anyway

https://github.com/cryspen/libcrux/actions/runs/9671649730

• [ ] disable patches on ci
• [ ] only run hax extraction and proofs on the patched version