Update C code with Kyber stateful API

[coveralls]

Pull Request Test Coverage Report for Build 8745730566

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 59.064%

---

Totals
Change from base Build 8723980584:	0.0%
Covered Lines:	38622
Relevant Lines:	65390

---

💛 - Coveralls

[franziskuskiefer]

@protz shall we close this? We merged #463

[msprotz]

Yup this is stale. Thank you.