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 !
No, it's not used afaik. @michaelneale might have good reason to create this one