sconstruct: Use Python's zipfile module to generate the symbols and controller client archives instead of using 7-Zip.
This means we no longer depend on 7-Zip. The resulting archives are a bit larger, but this isn't a major issue and it's worth it to eliminate a dependency.
Fixes #3725.