Use bundled version of miniconda.sh instead of downloading it from server, since the web server seems to go down every once in a whiel.