Support the ability to download project zip file #373

* A new button is displayed on the project page to download the project zip file
* One can use curl to download the project zip file
curl -O -J -k --get --data "session.id=<session id>&project=<project nane>&download=true" http://<websever host>:<port>/manager
The reformatting (I'm guessing your editor did this automatically) made this paragraph less readable.