Merge branch 'skills/dev' of https://git.h2t.iar.kit.edu/sw/armarx/robot-api into skills/dev

...killManagerPlugin/SkillManagerMonitorWidgetController.cpp

.../SkillManagerPlugin/SkillManagerMonitorWidgetController.h

source/RobotAPI/interface/skills/SkillManagerInterface.ice

source/RobotAPI/interface/skills/SkillProviderInterface.ice

source/RobotAPI/libraries/armem_skills/aron_conversions.cpp

source/RobotAPI/libraries/skills/core/SkillID.cpp

source/RobotAPI/libraries/skills/core/SkillID.h

.../libraries/skills/manager/SkillManagerComponentPlugin.cpp

source/RobotAPI/libraries/skills/provider/SkillFactory.h

...ibraries/skills/provider/SkillProviderComponentPlugin.cpp

.../libraries/skills/provider/SkillProviderComponentPlugin.h

source/RobotAPI/libraries/skills/provider/SkillProxy.cpp

...ies/skills/provider/detail/SkillImplementationWrapper.cpp

...aries/skills/provider/detail/SkillImplementationWrapper.h