The Witness: More control over progressive symbols

[NewSoupVi]

Add "Progressive Shapers", "Progressive Squares" and "Progressive Line-Counting Symbols".

Also adds more configurability:

1. Add "Progressive Symbols" OptionSet where you can choose which chains you actually want.
2. Make it configurable via a hidden option whether "Colored Dots" and "Sound Dots" are part of "Progressive Dots".
3. Make it configurable via a hidden option whether the second stage items should act independently if not progressive, i.e. whether "Full Dots" should unlock a Full Dots panel even if you don't have "Dots".

The current behavior can be expressed through these new options, and that's how the defaults for them were chosen.

Also removes the unused "Invisible Dots" item.

Also removes unused symbols from WitnessLogicExpert.txt

To achieve this, the progressive items code needed to be adjusted to be per-slot, which makes this PR somewhat big.

Drafted until 0.5.1 releases & the dust settles on it, at which point I will release a beta client that is compatible with these options.

Waiting on: #3999, otherwise this breaks item links.

[NewSoupVi]

Review help:

Every change in the Logic.txt files should fall under these categories.

1. Removing "Dots" when "Full Dots" is already there
2. Removing "Stars" when "Stars + Same Colored Symbol" is already there
3. Removing Symmetry off of the Laser set specifically

This was done with regex replacement and probably does not need to be reviewed too thoroughly

[NewSoupVi]

Unit tests are written. I now need to test that the client handles it all correctly, and then release a new beta version of it.

[NewSoupVi]

This is now waiting on the release of 0.5.1, because I realized I don't want to mess with the beta client any further, since I might have to release it soon

[Exempt-Medic]

This fails with itemlinks (just putting the comment here so it can be here too)