[Git][ghc/ghc][master] Report -pgms as a deprecated flag