To download a file as zip check the checkbox next to its listing in the file repository/folder and click on the "download as zip" button under the list.

To use this feature, you should first enable it in padmin (Other styles, properties and options).