CIL: update for Nov 27 goblint-cil opam update#171

sipma merged 1 commit intostatic-analysis-engineering:masterstatic-analysis-engineering/codehawk:masterfrom

sipma:cilupdatessipma/codehawk:cilupdatesCopy head branch name to clipboard