clang-format pollution

[Stagno]

Current master and open PRs are not clang-formatted due to non-uniform ways used to edit the code (I sometimes used search and replace on the whole code for example and forgot to run clang-format afterwards).
A possible solution is to add to scripts/jenkins/build.sh a check of whether the code just cloned is correctly formatted. It should run clang-format on the cloned source and git diff it w.r.t. the remote source.

[havogt]

We have a precommit hook in gridtools which checks formatting. We could copy it.

[Stagno]

We have a precommit hook in gridtools which checks formatting. We could copy it.

Seems like a good idea! Should we do it just after the current big PRs are merged?

[Stagno]

solved by #299