jenkins-job.sh: use valid URL for ImageJ dev server

Unfortunately, the imagejdev.org domain has gone defunct.