Add Zip4j as new srclib. We use a github mirror that has been verified
to correspond to the upstream source release. (Upstream only releases a
zip archive.)

Closes #1033.