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.