Fix: skill gui live search

Change skill gui to make skill searches work without updating from memory.

• For that, we add a Snapshot (skill state) to the memory abstraction wrapper of the gui. All widgets can always get the latest known state from the wrapper, without having to make an ice call. This is necessary, as widgets do not, and should not hold state.
• Currently the timer widget sends an "update yourself, now!"-signal to all widgets that wish to interact with the memory. This needs to change, as there would be a race between the wrapper updating itself, and the widgets accessing the update.
• Solution: the wrapper gets the "update" signal from the timer widget, and once done, emits a signal to provide the update to all affected widgets. This is similar to the principle used in https://git.h2t.iar.kit.edu/sw/mice.

Todos:

• Add snapshot struct
• Update wrapper to use snapshot
• Update widgets to passively receive updates

source/RobotAPI/libraries/skills_gui/executions/SkillExecutionTreeWidget.cpp

@@ -20,11 +20,11 @@ namespace armarx::skills::gui
 
         // Stop skill
         QAction* stopSkillAction = new QAction("Stop execution", this);
-        const auto& executions = memory->fetchExecutions();
+        const auto& executions = memory->getExecutions();
         if (executions.count(selectedExecution.skillExecutionId) == 0)
             return;
         skills::SkillStatus currentStatus =
-            memory->fetchExecutions().at(selectedExecution.skillExecutionId).status;
+            memory->getExecutions().at(selectedExecution.skillExecutionId).status;
         stopSkillAction->setDisabled(currentStatus == skills::SkillStatus::Aborted ||
                                      currentStatus == skills::SkillStatus::Failed ||
                                      currentStatus == skills::SkillStatus::Succeeded);
@@ -60,7 +60,7 @@ namespace armarx::skills::gui
             return;
         // we don't want to hold state in the gui, so we need to get the parameters from memory:
         skills::SkillExecutionID currentExecutionId = this->selectedExecution.skillExecutionId;
-        auto executions = memory->fetchExecutions();
+        auto executions = memory->getExecutions();
         if (executions.empty())
             return;
 
@@ -142,7 +142,7 @@ namespace armarx::skills::gui
     void
     SkillExecutionTreeWidget::updateExecutions()
     {
-        auto currentManagerStatuses = memory->fetchExecutions();
+        auto currentManagerStatuses = memory->getExecutions();
         if (currentManagerStatuses.empty())
             return;