Added section Unicode. Describing how to use UTF-8 as encoding in the interpreter.