Move check_files.py to the framework

[eleuzi01]

Description

Resolves Mbed-TLS/mbedtls-framework#72

PR checklist

Please remove the segment/s on either side of the | symbol as appropriate, and add any relevant link/s to the end of the line.
If the provided content is part of the present PR remove the # symbol.

• changelog not required
• development PR provided
• framework PR provided Move check_files.py to the framework mbedtls-framework#84
• 3.6 PR provided [Backport 3.6] Move check_files.py to the framework #9801
• 2.28 PR provided # | not required because:
• tests not required

Notes for the submitter

Please refer to the contributing guidelines, especially the
checklist for PR contributors.

Help make review efficient:

• Multiple simple commits
  • please structure your PR into a series of small commits, each of which does one thing
• Avoid force-push
  • please do not force-push to update your PR - just add new commit(s)
• See our Guidelines for Contributors for more details about the review process.

[valeriosetti]

The conflict on framework is OK, but the one on tests/scripts/check_files.py is not. Perhaps this is due to the fact that this PR is cancelling that file from the main repo, while some other PR did some change to it? If that's the case, then I think a rebase is needed here,

Edit; I did git merge-base between your PR and development to find the branching point and then using that reference I run
git difftool -d e9d036ab1137465e5abd4675d7a663800be4bd2b..development -- tests/scripts/check_files.py
(the hash used here is the merge-base result). There seems to be indeed changes to that file after your branch was created.

[minosgalanakis]

LGTM

[minosgalanakis]

LGTM

[minosgalanakis]

We need to update the framwork once more. Sorry

[minosgalanakis]

Framework updated, waiting for CI