Add Download Dir

This patch adds a new target to ant, so that the generated zip file can be published on github (target: publish_zip)