miniconda/install_miniconda.sh: Switch to curl as wget is no longer provided on the Ubuntu image and curl is used by the CentOS images.
miniconda/install_miniconda.sh: Switch to curl as wget is no longer provided on the Ubuntu image and curl is used by the CentOS images.

jakirkham/docker_ubuntu_drmaa_conda,jakirkham/docker_basic