[Git][ghc/ghc][master] drop deb9/10 from CI, add deb13