Finished script for downloading debian ISO using curl