MC: Add the possibility to select standard formulas for SDNs

[mgieseking]

The input field for the formula could additionally allow to select the standard formulas like drop freedom, loop freedom, package coherence etc. (see SDNFormelCreator).

For that we need to allow annotations for places and transitions:

SDNTools.egressExtension, SDNTools.updateStartID, SDNTools.infixActPlace, SDNTools.fwdExtension, SDNTools.switchExtension