Checkpoint of hg repo to match 1.3 release
Merge branch 'release-1.3' into master-release-1.3-integration

Conflicts:
	misc/makerelease/makerelease.go
	src/run.bash
Compiling and running