Make python style compliant Brings the python files in this repo into compliance with the checks in `sel4_tools`.
Convert to SPDX license tags This includes marking all documentation files CC-BY-SA-4.0.
python-capdl-tool: move capdl tests to test.*.py This allows nose to discover the tests.