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.

[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]

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)

[NewSoupVi]

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

Haven't tested it, but this should be fixed by #3999 (which is merged)