jenkins: use 2 urls to download plugins