chore: move test files and recapitalise file names (part 3)

[joneugster]

Moves most test files about tactics to a folder Tactic and capitalises their names.

---

[github-actions]

PR summary c589423ca3

Import changes for modified files

No significant changes to the import graph

Import changes for all files

Files	Import difference

---

Declarations diff

No declarations were harmed in the making of this PR! 🐙

You can run this locally as follows

## from your `mathlib4` directory:
git clone https://github.com/leanprover-community/mathlib-ci.git ../mathlib-ci

## summary with just the declaration names:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh <optional_commit>

## more verbose report:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh long <optional_commit>

The doc-module for scripts/pr_summary/declarations_diff.sh in the mathlib-ci repository contains some details about this script.

---

No changes to strong technical debt.

No changes to weak technical debt.

---

note: file MathlibTest/push_neg.lean` was renamed to `MathlibTest/Tactic/Push/PushNeg.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/recover.lean` was renamed to `MathlibTest/Tactic/Recover.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ErwQuestion.lean` was renamed to `MathlibTest/Tactic/ErwQuestion.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/toAdditiveIrredDef.lean` was renamed to `MathlibTest/Tactic/ToAdditive/ToAdditiveIrredDef.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/MoveAdd.lean` was renamed to `MathlibTest/Tactic/MoveAdd.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/conv.lean` was renamed to `MathlibTest/Tactic/Conv.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/casesm.lean` was renamed to `MathlibTest/Tactic/CasesM.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/spread.lean` was renamed to `MathlibTest/Tactic/Spread.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/linear_combination_prime.lean` was renamed to `MathlibTest/Tactic/LinearCombination/LinearCombinationPrime.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GuardGoalNums.lean` was renamed to `MathlibTest/Tactic/GuardGoalNums.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ExtractGoal.lean` was renamed to `MathlibTest/Tactic/ExtractGoal.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_ext.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumExt.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_abs.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumAbs.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/apply_congr.lean` was renamed to `MathlibTest/Tactic/ApplyCongr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/FieldSimp.lean` was renamed to `MathlibTest/Tactic/FieldSimp.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Change.lean` was renamed to `MathlibTest/Tactic/Change.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ring_compare.lean` was renamed to `MathlibTest/Tactic/Ring/Compare.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/NoncommRing.lean` was renamed to `MathlibTest/Tactic/NoncommRing.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/simp_intro.lean` was renamed to `MathlibTest/Tactic/SimpIntro.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ClearExclamation.lean` was renamed to `MathlibTest/Tactic/ClearExclamation.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/Core.lean` was renamed to `MathlibTest/Tactic/GCongr/Core.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/hintAll.lean` was renamed to `MathlibTest/Tactic/Hint/HintAll.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/finiteness.lean` was renamed to `MathlibTest/Tactic/Finiteness.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/congrm.lean` was renamed to `MathlibTest/Tactic/CongrM.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/linear_combination.lean` was renamed to `MathlibTest/Tactic/LinearCombination/LinearCombination.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/hint.lean` was renamed to `MathlibTest/Tactic/Hint/Hint.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/cases.lean` was renamed to `MathlibTest/Tactic/Cases.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/choose.lean` was renamed to `MathlibTest/Tactic/Choose/Choose.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/choose_reduction.lean` was renamed to `MathlibTest/Tactic/Choose/Reduction.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/says_whitespace.lean` was renamed to `MathlibTest/Tactic/Says/Whitespace.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/reduce_mod_char.lean` was renamed to `MathlibTest/Tactic/ReduceModChar.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/cancel_denoms.lean` was renamed to `MathlibTest/Tactic/CancelDenoms.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/solve_by_elim/basic.lean` was renamed to `MathlibTest/Tactic/SolveByElim/Basic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/observe.lean` was renamed to `MathlibTest/Tactic/Observe.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/convert2.lean` was renamed to `MathlibTest/Tactic/Convert/Convert2.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/solve_by_elim/instances.lean` was renamed to `MathlibTest/Tactic/SolveByElim/Instances.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_rpow.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumRPow.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/success_if_fail_with_msg.lean` was renamed to `MathlibTest/Tactic/SuccessIfFailWithMsg.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Clear_.lean` was renamed to `MathlibTest/Tactic/Clear_.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/UnsetOption.lean` was renamed to `MathlibTest/Tactic/UnsetOption.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Tactic/Ring.lean` was renamed to `MathlibTest/Tactic/Ring/Ring.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Check.lean` was renamed to `MathlibTest/Tactic/Check.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNum.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/mod_cases.lean` was renamed to `MathlibTest/Tactic/ModCases.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Monotonicity.lean` was renamed to `MathlibTest/Tactic/Monotonicity.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/mod.lean` was renamed to `MathlibTest/Tactic/GCongr/Mod.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ClearExcept.lean` was renamed to `MathlibTest/Tactic/ClearExcept.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_flt.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumFLT.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/GCongr.lean` was renamed to `MathlibTest/Tactic/GCongr/GCongr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/apply_rules.lean` was renamed to `MathlibTest/Tactic/ApplyRules.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GuardHypNums.lean` was renamed to `MathlibTest/Tactic/GuardHypNums.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_ordinal.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumOrdinal.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Inhabit.lean` was renamed to `MathlibTest/Tactic/Inhabit.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Tactic/Push.lean` was renamed to `MathlibTest/Tactic/Push/Push.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/toAdditive.lean` was renamed to `MathlibTest/Tactic/ToAdditive/ToAdditive.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Linarith/NNReal.lean` was renamed to `MathlibTest/Tactic/Linarith/NNReal.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/fin_cases.lean` was renamed to `MathlibTest/Tactic/FinCases.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/order.lean` was renamed to `MathlibTest/Tactic/Order.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Constructor.lean` was renamed to `MathlibTest/Tactic/Constructor.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Bound/bound.lean` was renamed to `MathlibTest/Tactic/Bound/Bound.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/convert.lean` was renamed to `MathlibTest/Tactic/Convert/Convert.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/inequalities.lean` was renamed to `MathlibTest/Tactic/GCongr/Inequalities.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/interval_cases.lean` was renamed to `MathlibTest/Tactic/IntervalCases.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Clean.lean` was renamed to `MathlibTest/Tactic/Clean.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/apply_fun.lean` was renamed to `MathlibTest/Tactic/ApplyFun.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ToDual.lean` was renamed to `MathlibTest/Tactic/ToDual.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Contrapose.lean` was renamed to `MathlibTest/Tactic/Contrapose.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Tactic/Says.lean` was renamed to `MathlibTest/Tactic/Says/Says.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ProdAssoc.lean` was renamed to `MathlibTest/Tactic/ProdAssoc.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/apply_with.lean` was renamed to `MathlibTest/Tactic/ApplyWith.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/RecallModule.lean` was renamed to `MathlibTest/Tactic/Recall/Module.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Group.lean` was renamed to `MathlibTest/Tactic/Group.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Bound/attribute.lean` was renamed to `MathlibTest/Tactic/Bound/Attribute.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Linarith/Basic.lean` was renamed to `MathlibTest/Tactic/Linarith/Basic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/implications.lean` was renamed to `MathlibTest/Tactic/GCongr/Implications.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/pnat_to_nat.lean` was renamed to `MathlibTest/Tactic/PNatToNat.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Have.lean` was renamed to `MathlibTest/Tactic/Have.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/SwapVar.lean` was renamed to `MathlibTest/Tactic/SwapVar.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ExistsI.lean` was renamed to `MathlibTest/Tactic/ExistsI.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/solve_by_elim/dummy_label_attr.lean` was renamed to `MathlibTest/Tactic/SolveByElim/DummyLabelAttr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!