Use CIL `fallthrough` field for CFG construction

[sim642]

goblint/cil#43 added the fallthrough field to CIL statements to make it easier to construct CFGs. In particular, to avoid Goblint having to guess where to put Neg(1) edges to make everything connected.

Apparently this was never used in Goblint to actually do that.