Urgent Skill Manipulation Features in SkillMemoryGUI

Software orga documentation

Todos:

• Revert last changes regarding skill execution signature
• (Temporarily) remove "Re-run [..]", as it doesn't work after merge
• Add "Stop all" button
  • Change top layout: move all update related widgets to the left, Stop All-Button to the right
  • Change context menu text: Stop Skill -> Stop Execution
• Remove or fix search bar: it shouldn't freeze the GUI!
• Implement sorting
• Fix layout ???
• Clean up changes before merge (see comment)
• Merge master into branch

source/RobotAPI/gui-plugins/SkillManagerPlugin/PeriodicUpdateWidget.cpp

@@ -12,7 +12,7 @@ namespace armarx
 {
     PeriodicUpdateWidget::PeriodicUpdateWidget(double frequency, double maxFrequency)
     {
-        setSizePolicy(QSizePolicy::Policy::Minimum, QSizePolicy::Policy::Fixed);
+        setSizePolicy(QSizePolicy::Policy::Minimum, QSizePolicy::Policy::Minimum);
 
         QLayout* vlayout = new QVBoxLayout();
         QLayout* hlayout = new QHBoxLayout();