Merge pull request #12 from DanielGibbsNZ/master

Switched editor to Ace for better error message display.
Merge pull request #14 from DanielGibbsNZ/master

Added configuration files and various other fixes.
Various updates to make it work again.
Minor tweaks
Updated to the latest version of Whiley.
Fix for Unicode Encoding Problem #15.
Previously, source code files were not encoded using any unicode encoding, and this was causing a problem when unicode characters were entered into the web editor.  To fix this, I've used the Python codecs module which supports opening files with specific encodings.  For our source files, I've adopted UTF-8 encoding.
Working on the security policy
Reverted whiley policy
Added a timeout feature to protect against long running processes.
This was necessary because a number of student processes were long running, and hogging resources.  They need to be killed after a certain amount of time (20s).
Updated the version of wyjc supplied with WHileyWeb
Reverting
Added timeout for compilation / verification.
This is too prevent compilation from taking ridiculously long.
Updated to the latest (pre) release
Updated wyjc jar to remove debugging information.
Upgraded to release candidate for v0.3.27
Updated to latest release candidate for v0.3.27
Added released version 0.3.27
Bug fix
Minor fix for mult-line errors.
Error messages which spread over multiple lines were not being reported correctly.