Download and install a specific version of the Jenkins war file for running a server or plugin development.