mathlib

c9563537 - chore(.docker): remove alpine build, too fragile (#7401)

chore(.docker): remove alpine build, too fragile (#7401) If this is approved I'll remove the automatic builds of the `alpine` based images over on `hub.docker.com`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>