fix setup.py, update miniconda version for travis