chore(Combinatorics/SimpleGraph): tidy various files

[SnirBroshi]

---

Concept inspired by @Ruben-VandeVelde :)

[github-actions]

PR summary 290b6cf8be

Import changes for modified files

No significant changes to the import graph

Import changes for all files

Files	Import difference

---

Declarations diff

+ Colorable.chromaticNumber_pos
+ Copy.maxDegree_le
+ IsContained.maxDegree_le
+ IsSubwalk.darts_infix
+ IsSubwalk.edges_infix
+ isSubwalk_iff_darts_infix
+ isSubwalk_iff_support_infix
+ support_take

You can run this locally as follows

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

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

The doc-module for scripts/pr_summary/declarations_diff.sh contains some details about this script.

---

No changes to technical debt.

You can run this locally as

./scripts/reporting/technical-debt-metrics.sh pr_summary

• The relative value is the weighted sum of the differences with weight given by the inverse of the current value of the statistic.
• The absolute value is the relative value divided by the total sum of the inverses of the current values (i.e. the weighted average of the differences).

[SnirBroshi]

btw I have no idea why this became noncomputable, this is defeq to the previous definition, but now it complains about the usage of Fintype.equivFinOfCardEq which was already there before.
Perhaps putting it inside Adj which is a Prop makes Lean realize this will be deleted at runtime, but not when it's a parameter to comap.