Make download-deps.py easier to use
Merge pull request #7572 from darkdukey/download-dep

Make download-deps.py easier to use