Merge pull request #8 from DanielGibbsNZ/master

UI fixes.
Updated WhileyWeb to use new syntax; this is EXPERIMENTAL only for now.
Merge branch 'master' of github.com:DavePearce/WhileyWeb
Updated whiley runtime...
Updated examples to use new syntax
Updated syntax highlighter for new keywords.