Run clang-tidy in jenkins

[WardBrian]

We should run clang-tidy in our Jenkins CI.

In particular, the misc-definitions-in-headers rule should keep things like #3245 up to date over time

Originally posted by @WardBrian in https://github.com/stan-dev/math/issues/3245#issuecomment-3386018840