WLS: no real change
Merge branch 'master' of github.com:Whiley/WhileyDocs

Conflicts:
	WhileyLanguageSpecification/src/WhileyLanguageSpec.pdf