Skill-Gui Stability and QOL

• Fix the skill details widget not resetting correctly when the provider dies
• Add a dialog box asking the user whether to reset the parameters when they attempt so

source/RobotAPI/libraries/skills_gui/skill_details/SkillDetailsGroupBox.cpp

@@ -170,6 +170,10 @@ namespace armarx::skills::gui
                 &SkillDetailsTreeWidget::updated,
                 profileMenuWidget,
                 &ProfileMenuWidget::updateChangesSelector);
+        connect(profileMenuWidget->historySelector,
+                &QPushButton::pressed,
+                skillDetailsTreeWidget,
+                &SkillDetailsTreeWidget::reloadLastExecutionParameters);
     }