use download.leap.se/platform url for vagrant boxes (closes #5434)