Merge branch 'Dev_0.7.1'

diff --cc src/ModuleBase/ModuleBase_IModule.h
Simple merge

diff --cc src/PartSet/PartSet_Module.cpp
Simple merge

diff --cc src/PartSet/PartSet_Module.h
Simple merge

diff --cc src/SketchPlugin/SketchPlugin_Sketch.h
Simple merge

diff --cc src/XGUI/XGUI_ContextMenuMgr.cpp
Simple merge

diff --cc src/XGUI/XGUI_Workshop.cpp
Simple merge