Added script for doing easy ISO downloads from CI.