docs: add options documentation + CLI dump and machine-readable exports

[arnavk23]

• Adds human and machine-readable documentation for Uno options and a CLI flag to dump options for automated configuration tools.
• Documents available runtime options in options.md
• Adds --dump-options to the AMPL frontend to print option name, type and default (TSV).
  -Generates machine-readable exports (TSV, JSON, irace-style) under docs so tools like irace can consume defaults programmatically.

Related issues

#420 (Document the options)
#166 (Automatic configuration)

[arnavk23]

@cvanaret Was just browsing around, found your repor and loved it! Tried to fix your documentation issue, take a look.

[cvanaret]

Hi @arnavk23, thanks a lot for your contribution! You may have broken a few things though 😅
May I suggest that you add the function dump_default_options() in Options without changing the original formatting/indentation in Options.cpp and uno_ampl.cpp?

[arnavk23]

@cvanaret All are passing except one and when I looked into it, I think it is not due to the change I added

[cvanaret]

@arnavk23 absolutely, this is an unrelated issue that appeared recently.
I've added a couple of comments on your submission.

[arnavk23]

@arnavk23 absolutely, this is an unrelated issue that appeared recently. I've added a couple of comments on your submission.

@cvanaret Made the changes and returned back to the original formatting, please take a look now on the change proposed.

[cvanaret]

" missing after true

[cvanaret]

@cvanaret Made the changes and returned back to the original formatting, please take a look now on the change proposed.

Looks great, thanks! There's just a " missing (see comment).