Rename `ghc-core-options` to `ghc-core-program-args` and improve docstring

This is a follow-up to 8b3db50