mathlib3

doc(docs/install/project.md): mention that projects are git repositories

#2244

Merged