As proposed, discussed and agreed in https://wildfiregames.com/forum/index.php?/topic/22750-options-page-tabbing/
the options page should use tabs, so that it will be easier to add more options in the future.
It also has the advantage that one can identify the options more quickly.
There were different styles discussed (horizontal tabs, multi row and multi column tabs, multi column option controls),
but we have settled on this one.
Changes:
In the JS code, only a for (let i = 0; i < options[category].length; ++i) loop was removed, the contents are still the same.
The dependency code should be rewritten (done). The invertboolean type should be removed some day (done). +1 tab for options.json to be committed indenpendently.
XML duplication nuked.
JS duplication is nuked too in this patch (was planned in D510).
Tab button string changes (removal of "Settings") as also proposed in https://wildfiregames.com/forum/index.php?/topic/22745-all-relics-captured-message/