mathlib3

chore(README,docs/*): replace tactic doc files with links to mathlib docs

#2225

Merged