Backport #10468: add new options for ghc 9.12

[mergify]

ghc 9.12 adds several new command line options, divided between
LANGUAGEs (already added), warnings, new preprocessor control options,
and compilation control options. Two options needed to be added to the
list of options requiring Int parameters.

The new options, excluding warning and language options, are:

• -fexpose-overloaded-unfoldings
• -fmax-forced-spec-args=N
• -fno-expose-overloaded-unfoldings
• -fno-object-determinism
• -fobject-determinism
• -fwrite-if-compression=N
• -optCmmP…
• -optJSP…
• -pgmCmmP
• -pgmJSP

As they all affect compilation and store hashes, the only necessary
change was to list the two numeric options so they will be parsed
correctly. To the best of our understanding, -pgm* and -opt*
options are already handled as a group.

Template Α: This PR modifies behaviour or interface

Include the following checklist in your PR:

• Patches conform to the coding conventions.
• Any changes that could be relevant to users have been recorded in the changelog.
• The documentation has been updated, if necessary.
• Manual QA notes have been included.
• Tests have been added. (Ask for help if you don’t know how to write them! Ask for an exemption if tests are too complex for too little coverage!)

---

This is an automatic backport of pull request #10468 done by [Mergify](https://mergify.com).