Small bug fix in download-deps.py
Don't remove .zip file, if it exists, don't download it.
Updates .gitignore
Merge pull request #6565 from dumganhar/v3

Small bug fix in download-deps.py