Œuf: Minimizing the Coq Extraction TCB