use miniconda in travis CI