This MR pins the miniconda installer to circumvent issues with latest installer (see https://gitlab.idiap.ch/bob/bob.devtools/-/jobs/169897)
This should be reverted back when #32 (closed) is addressed.