Added labels to outgoing control flow edges of condition nodes.

The additional information is stored in a separate edge class, which can
store arbitrary data in form of key-value pairs.

The set of control flow graph edges is not accessible directly anymore,
but only through methods provided by the control flow graph itself.