Decision points

-Add and remove element from alternative in graph
-MAVODecision tree view
-Tree menu to add and delete decisions and alternatives
Ok for now, but decisionNum and alternativeNum like this is asking for bugs in the encoding (e.g. add X alternatives, remove one of the X-1, add another one and you end up with 2 alternatives with the same formula variable)