[GHC] #9259: GHCi should list its available command line options