mathlib3

d2889058 - fix(script/remote-install-update-mathlib) fix answer reading and requests/urllib3 version conflict (#968)