Updating whiley web for the new version of the language ...
Updated the wyjc library
Updated the set of keywords which are syntax highlighted.
Applied some little tweaks suggested by Matt Stevens.
Updated to whiley version 0.3.23
Merge branch 'master' of github.com:DavePearce/WhileyWeb
Bug fix for syntax highlighting.
Added initial policy file
Various tweaks
Updated security policy.  Now stronger.
Replaced CodeMirror with Ace Editor. Fixes #11.
Fixed stupid mistake that surprisingly hadn't been noticed yet.