Stricter linting

Enable some more linting options and modify our python scripts accordingly.

[Backport commit e5ffd05e.]
Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>