set up micromamba by hand rather than sourcing bashrc (fix CI)

For a few weeks, all CIs have failed because of the installation of micromamba. This might happen because of changes upstream (this is only a hypothesis). Executing the necessary instructions to install micromamba directly rather than sourcing the .bashrc has solved the problem.