Modified character encodings from EUC to UTF8 for some files.
Merge branch 'feature/ocaml-ocha'
Merge branch 'feature/ocaml'