Use $CONFIGURE_ARGS or configure_ghc

[JakobBruenker]

ghc.nix recommends using ./configure $CONFIGURE_ARGS, and also provides a convenience command configure_ghc which does the same.

It seems like would make sense to recommend one of these here instead of a naked ./configure, which is the case at the moment.