CodeQL: Python linter

CodeQL reports many problems related to style of the Python files. We should add the Python linter to the project and fix them.