doc(citation.md): Add a citation.md file (#17202)
Creating a PR as suggested [here](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Citing.20lean.20.2B.20mathlib/near/306109993). Feel free to suggest or directly commit changes to the wording.
