[bootstrap] Pinning miniconda installer to circumvent issues with latest installer (see https://gitlab.idiap.ch/bob/bob.devtools/-/jobs/169897)