Removes download-deps.py, using `git submodule update --init` to get the
external libraries. Thanks.