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.