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
fix up stopStone
fix startStone ... another improper manual merge carryover
Merge pull request #10 from dalehenrich/master

major script rewrite and travis-ci support