Don't redownload already existing files

Aside from saving bandwidth, this saves the script from crashing with a 'permission denied' halfways and having to be restarted
NOW we have all the needed packages here, even those required by psplibraries