[Git][ghc/ghc][master] doc: update Flavour type in hadrian user-settings