[CI] Install a recent version of `shellcheck`

Status Job ID Name Coverage
  Build
passed #193127298
coq:8.8

00:03:59

passed #193127299
coq:8.9

00:04:01