Fix `make-dev-environment.sh` when using mamba+conda#364

james-d-mitchell merged 3 commits intolibsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

jswent:dev-env-changesjswent/libsemigroups_pybind11:dev-env-changesCopy head branch name to clipboard