make build tool not available

[nickynicolson]

Please could the make utility be added to the standard install so that it is available in the terminal?
which make shows that it isn't available and users do not have permissions to install through apt-get

Rationale: its quite common to use make as a dependency manager for data pipelines (example software carpentry lesson), and its normally part of a standard installaton.

[TomAugspurger]

Thanks @nickynicolson, we can look into including that in our next batch of updates.

In the meantime, you can install it (once per notebook server session) with mamba install -y -c conda-forge make.