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/SkillManagerMonitorWidget.ui

@@ -154,6 +154,9 @@
         <item row="4" column="0">
          <widget class="QLineEdit" name="lineEditSearch">
           <property name="text">
+           <string/>
+          </property>
+          <property name="placeholderText">
            <string>Search...</string>
           </property>
          </widget>