dowload jenkins.war, no need for debian package
the later include daemon setup that doesn’t make sense here
« ADD » doesn’t use Last-Modified header so download on every build
Merge branch 'war'