It's very unlikely that the remote Jenkins file will change while the version number stays the same, so we should keep the version number in the local file and only download it if the file does not exist. That should simplify this considerably.