Download and install a specific version of the Jenkins war file which can be used for either running a server, or for plugin development