Add termination analysis success messages for loop bounds#1580

sim642 merged 4 commits intomastergoblint/analyzer:masterfrom

issue-1577goblint/analyzer:issue-1577Copy head branch name to clipboard