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.