Download from Maven repository

in this way, the same Dockerfile can build mainline releases, alpha
releases, SNAPSHOTS, etc.
diff --git a/Dockerfile b/Dockerfile
index d6e78ee..beb7f1d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -33,7 +33,7 @@
 
 # could use ADD but this one does not check Last-Modified header 
 # see https://github.com/docker/docker/issues/8331
-RUN curl -fL http://mirrors.jenkins-ci.org/war-stable/$JENKINS_VERSION/jenkins.war -o /usr/share/jenkins/jenkins.war \
+RUN curl -fL http://repo.jenkins-ci.org/public/org/jenkins-ci/main/jenkins-war/${JENKINS_VERSION}/jenkins-war-${JENKINS_VERSION}.war -o /usr/share/jenkins/jenkins.war \
   && echo "$JENKINS_SHA /usr/share/jenkins/jenkins.war" | sha1sum -c -
 
 ENV JENKINS_UC https://updates.jenkins-ci.org