Relax checking more for Travis-CI
Use miniconda for faster compilation on Travis.