Update miniconda install

Let's see if it fixes the Travis-CI issues...