Adapt to wrapped goblint-cil library#16

sim642 merged 2 commits intomastergoblint/gobview:masterfrom

wrapped-cilgoblint/gobview:wrapped-cilCopy head branch name to clipboard