dowload jenkins.war, no need for debian package

the later include daemon setup that doesn’t make sense in a Docker container
also require to register custom apt-key, just to get the jenkins package available.
but we only need a war !
there is no reason for it - just helped me early on as a sanity check - feel free to remove it.