+ Properly handle jmps at the right place in the gui
+ Try to center on the relevant BasicBlock
+ Change color of the BasicBlock
Centering needs us to increase the actual Scene size as well so we can
also center on widgets at the rim of the scene. Bug should only be
closed once this is implemented