Fixed bug about printing special chars to JSON file (and also explicitly
made output use UTF-8 encoding, in case non-English letters will be
needed).
Merge branch 'master' of https://github.com/11791-01/project-team01.git