Charset is not taken into account when reading files #97
Description
Charset can be set in AwkSettings but it's not taken into account when reading files. See JRT.jrtConsumeInput() which doesn't specify locale when calling new FileReader(name_value_or_filename).
This will probably cause issues with non-ASCII chars in files.