lang: Switch to mini-gmp rationals for number representation

scripts: Rewrite check to look in subdirectories

lang: Run clang-format

Added SPDX license informations to all files. ...

The only files where this isn't present are the LICENSE.md for obvious
reasons and the mbed_app.json, as comments are not allowed in json.

---
Changes v1 -> v2:
- fixed capitalisation of the copyright word in the script directory and in the cmake list
- modified the source code and header files so the SPDX info is
in a multi-line comment block

scripts: Add check.sh for code cleanup

Initial commit