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/SkillManagerMonitorWidgetController.h

@@ -80,8 +80,7 @@ namespace armarx
         {
         }
 
-        // When using this constructor, the new item will be _appended_ to the bottom of the tree!
-        // Use with care.
+        // When using this constructor, the new item will be appended to the bottom of the tree!
         SkillExecutionInfoTreeWidgetItem(const skills::SkillExecutionID& id, QTreeWidget* parent) :
             QTreeWidgetItem(parent), executionId(id)
         {