Fix inria/extra-checks CI job
Fix inria/extra-checks CI job

Check-typo was confused by a few binary programs.

this commit calls git clean before (rather than after) running
tools/check-typo to fix this.

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml