Merge branch 'dev' into gemtalk

(cherry picked from commit 59fb4716269fa5d5bb9187feb5b6c127c36aa52b)

Conflicts:
	bin/installTodeStone
	bin/startStone
	bin/stopStone
	tode/server/scripts/installGLASS1.ws
	tode/server/scripts/installMetacello.ws
	tode/server/scripts/installTode.ws