Add Remove transaction button

...a/ui/interactivesimulation/FormalVerificationToolBar.java

...i/interactivesimulation/InteractiveSimulationActions.java

...ui/interactivesimulation/JFrameInteractiveSimulation.java

...java/ui/interactivesimulation/JPanelTaskTransactions.java

...ain/java/ui/interactivesimulation/JPanelTransactions.java

...in/java/ui/interactivesimulation/MainCommandsToolBar.java

.../java/ui/interactivesimulation/TransactionTableModel.java

src/main/java/ui/tmldd/TMLArchiCPUNode.java