chore(.docker): fix alpine docker build (#7374)
A dependency for building mathlibtools had gained a requirement of having `make` available, so we install that.
This doesn't affect the produced image, and we only install `make` in an intermediate image.
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
