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/SkillDetailsTreeWidget.cpp

@@ -83,7 +83,7 @@ namespace armarx::skills::gui
     void
     SkillDetailsTreeWidget::updateGui(SkillManagerWrapper::Snapshot update)
     {
-        if (!shownSkill.has_value())
+        if (not shownSkill.has_value())
             return;
         skills::SkillID sid = shownSkill.value().skillId;