precompiled mathlib

Stream: general

[Johan Commelin]

That being said, we really need mathlib nightlies (ie. precompiled mathlib) — Patrick Massot

Can this be done using Travis? Or do we need other infrastructure?

[Johan Commelin]

Ok, this seems possible:
https://gist.github.com/Maumagnaguagno/84a9807ed71d233e5d3f
https://gist.github.com/willprice/e07efd73fb7f13f917ea

[Johan Commelin]

I think a fully compiled mathlib including sources is about 15mb

[Johan Commelin]

So I think it is not too much of a burden to push back to github