mathlib3

fix(scripts/remote-install-update-mathlib): apt shouldn't ask

#969

Merged