3861: Remove deprecated plugins

• Moved to https://git.fortiss.org/af3/verification org.fortiss.af3.msc org.fortiss.af3.msc.ui org.fortiss.af3.ocra org.fortiss.af3.refinement org.fortiss.af3.refinement.ui org.fortiss.af3.specification org.fortiss.af3.specification.ui org.fortiss.af3.testing org.fortiss.af3.testing.ui org.fortiss.af3.tools org.fortiss.pragmatictransformation
• Moved to https://git.fortiss.org/af3/beaglebone org.fortiss.af3.beaglebone org.fortiss.af3.beaglebone.ui

Issue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner barner@fortiss.org

merged

mentioned in commit 7dbb6031