mathlib3

8b23dadc - feat(scripts): use apt-get on ubuntu and support older Python versions (#945)