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
Resolving upstream pull.