Fix some clang tidy warnings#2464

Xazax-hun wants to merge 3 commits intosouffle-lang:mastersouffle-lang/souffle:masterfrom

Xazax-hun:tidy-fixesXazax-hun/souffle:tidy-fixesCopy head branch name to clipboard