Use ghc-mod to get the full set of GHC options.