Set up Linting like in caph repo

[guettli]

We should set up more linters. The caph repo can serve as a role model.