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

Conflicts:
	config.xml
BUILD: merged config.xml
Making progress!!
WyIL: moved several methods out of CodeBlock and into RuntimeAssertions, which was the only place they are used.
Merge branch 'master' of github.com:DavePearce/Whiley
WyIL: reverted multiple code blocks plan, as have decided on alternative route to solve #190
WyIL: updated some documentation for CodeBlock and Code ahead of moving CodeBlock into Code.
WyC: minor tweak to naming of functions in the parser.
WyIL: refactored CodeBlock to extend ArrayList.
WyIL: refactored helper methods from CodeBlock and Code into Codes.
WyIL: working on the new bytecode API which will support nested blocks. #190
WyIL: refactored all concrete bytecode constructors and classes in class Codes.
WyIL: restructured Code hierarchy to include Code.Unit and Code.Block.
WyIL: renamed several bytecode classes in Codes.
WyIL: updated syntax in bytecode documentation.
WyIL: moving CodeBlock into Code as Code.Block.
WyC/WyCS: added tests cases for #352
WyCS: worked hard on fixing bug with distribution of addition / multiplication, but still doesn't work though. #352
WyIL: bug fix for finding postconditions in verification condition generator.