Feature/skill memory gui fix
-
Switched order when updating skills from memory in skill manager gui to make sure the skills are always fetched even if fetching the executions fails
-
Disabling auto update in skill memory gui if ice connection error to not periodically freeze the gui if Ice error happens (Requires armarx-gui!103 (merged))