Update and rename tactics.md to lean-tactics.md