Add rezip option

This can be used to unzip and rezip a file in a more deterministic way.
Add projects/tor-browser
Add projects/tor-launcher
Add projects/https-everywhere