mathlib3

feat(scripts): add --build-new flag to cache-olean

#992

Merged