Updated sharpziplib/mono-tools packages fix security vulnerability

Update to sharpziplib 1.3.3 which contains a security fix, and rebuild of mono-tools to use the fixed version...