[GHC] #11654: User Guide: Generate command line options table from ghc-flags directives