Make UTF-8 support more transparent

Just "hardcode" -Dfile.encoding=UTF-8 in the driver script.  BTW, this
whole dance was mostly because the Mac jvm insisted on using MacRoman as
the default charset even when your locale was UTF-8.  It looks like they
changed this behavior between java 1.6 and 1.7, although I couldn't find
any documentation about that.