Fix parallel extraction
Fix parallel extraction

"make CIL" in "compiler" and "make extraction" in "proofs" were issuing
a warning when given a number of parallel jobs > 1.

One strange thing is that this bug does not seem to occur on all the
machines (but it did on mine).

jasmin-lang/jasmin,jasmin-lang/jasmin,jasmin-lang/jasmin