Issue #72: switch back to using master branch of GsDevKit_home
Issue #72: switch back to using master branch of GsDevKit_home

dalehenrich/smalltalkCI,fniephaus/filetreeCI,dalehenrich/smalltalkCI,peteruhnak/smalltalkCI,hpi-swa/filetreeCI,peteruhnak/smalltalkCI,peteruhnak/smalltalkCI,dalehenrich/smalltalkCI,fniephaus/filetreeCI,fniephaus/filetreeCI,hpi-swa/filetreeCI,hpi-swa/smalltalkCI,hpi-swa/filetreeCI,hpi-swa/smalltalkCI