Use batch mode for miniconda installation to avoid license interrupts