feat(contribute/doc.md): describe tactic doc guidelines#772

PatrickMassot merged 1 commit intolean4leanprover-community/leanprover-community.github.io:lean4from

tactic-doc-review-guideleanprover-community/leanprover-community.github.io:tactic-doc-review-guideCopy head branch name to clipboard