We have a command, minidcos docker download-installer.
This uses requests to download DC/OS installers.
aria2 can be faster than using requests to download an installer.
If aria2 is installed, we should use that instead, using a wrapper such as https://pypi.org/project/aria2p/.
We should fall back to requests if this is not available.