Switched travis to use miniconda