Upated version number for latest release.
Merge branch 'master' of github.com:Whiley/WhileyCompiler

Conflicts:
	config.xml
BUILD: merged config.xml