Add scripts to setup and teardown the miniconda version

This should avoid weird issues caused by bitrotted miniconda versions
similar to
e-mission/e-mission-docs#511
or
e-mission/e-mission-docs#513

If such bitrotting happens, we need to upgrade the packages, but at least we
will know that we need to, and people won't have unpleasant surprises when they
try to install manually. Apparently, some people prefer to install manually
e-mission/e-mission-docs#513

.travis.yml

@@ -4,13 +4,7 @@ language: generic
 install:
   # We do this conditionally because it saves us some downloading if the
   # version is the same.
-  - wget https://repo.continuum.io/miniconda/Miniconda3-4.5.12-Linux-x86_64.sh -O miniconda.sh;
-  - bash miniconda.sh -b -p $HOME/miniconda
-  - source "$HOME/miniconda/etc/profile.d/conda.sh"
-  - hash -r
-  - conda config --set always_yes yes --set changeps1 no
-  # Useful for debugging any issues with conda
-  - conda info -a
+  - source setup/setup_conda.sh
 services:
   - mongodb
 script:

setup/setup.sh

@@ -1,11 +1,20 @@
-
 # If the conda binary is not found, specify the full path to it
 # you can find it by searching for "conda" under the miniconda3 directory
 # typical paths are:
 # - on linux: /home/<user>/miniconda3/bin/conda
 # - on OSX: /Users/<user>/miniconda3/bin/conda
 # - on Windows: C:/Users/<user>/Miniconda3/Scripts/conda
 
+CURR_CONDA_VER=`conda --version | cut -d " " -f 2`
+EXP_CONDA_VER=4.5.12
+
+if [ $CURR_CONDA_VER == $EXP_CONDA_VER ]; then
+    echo "For conda, found $CURR_CONDA_VER, expected $EXP_CONDA_VER, all is good!"
+else
+    echo "For conda, found $CURR_CONDA_VER, expected $EXP_CONDA_VER, run setup/setup_conda.sh to get the correct version"
+    exit 1
+fi
+
 echo "Setting up blank environment"
 conda create --name emission python=3.6
 source activate emission

setup/setup_conda.sh

@@ -0,0 +1,9 @@
+EXP_CONDA_VER=4.5.12
+
+wget https://repo.continuum.io/miniconda/Miniconda3-$EXP_CONDA_VER-Linux-x86_64.sh -O miniconda.sh;
+bash miniconda.sh -b -p $HOME/miniconda
+source "$HOME/miniconda/etc/profile.d/conda.sh"
+hash -r
+conda config --set always_yes yes --set changeps1 no
+# Useful for debugging any issues with conda
+conda info -a

setup/teardown_conda.sh

@@ -0,0 +1 @@
+rm -rf $HOME/miniconda