extra-checks: update to clang 9
extra-checks: update to clang 9

Also, disable man page generation on the sanitized runs to save a bit of time.

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