Add operation names to integer overflow messages and checks#1895

sim642 merged 6 commits intomastergoblint/analyzer:masterfrom

overflow-kindgoblint/analyzer:overflow-kindCopy head branch name to clipboard