Use zip extension for reproducing old versions.

2 jobs for tor-0.3.5.14 in 72 minutes and 45 seconds (queued for 66 minutes and 28 seconds)