mathlib3

doc(contribute): add detailed instructions for cache-olean [skip ci]

#1367

Merged