Encoding/Decoding unicode filenames and paths
StdCoder does not encode/decode file names and paths correctly if they contain arbitray Unicode characters.
Reported by Hans Klaver, 2016-10-06.
bug fix for Unicode characters in file names and paths. Refs: #133.
As proposed By Helmut Zinn plus
- ListFiles also needs to be changed, otherwise 'About encoded Material' still lists wrong file names.
- nn renamed to utf8.