Cfg Construction for Jumps

[l-kent]

visitJumps in the `ProgramCfgFactory' needs to be rewritten as it contains multiple incorrect assumptions about the IR, such as that there are a maximum of two jumps per block, and GoTos can only follow GoTo. These may hold for the input we get from BAP but are not guaranteed to hold if we transform the program representation further (such as by resolving an indirect call to multiple direct calls) and then reconstruct the IR afterwards. A new approach should create the Cfg from the IR as it is presented, without making assumptions.