UTF-8 for .JSON as default

... consistently use UTF-8 for .JSON files (read and write)