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

@@ -52,6 +52,7 @@ namespace armarx::skills::gui
         //profileSelector->setDisabled(true);
         //profileSelector->setToolTip(QString::fromStdString(PROFILE_NOT_IMPLEMENTED));
         historySelector->setText(QString::fromStdString(HIST_BUTTON_TEXT));
+        historySelector->setDisabled(true);
     }
     
     void ProfileMenuWidget::updateHistorySelector(skills::SkillID shownSkill)