[Git][ghc/ghc][wip/mangoiv/ci-stages] 12 commits: hie.yaml: use a polyglot shell/batch script