Add support for UTF-8, UTF-16, and UTF-32 in .properties files.

Java .properties files by default only support the ISO-8859-1 charset. Add support for .properties files encoded in UTF-8, perhaps using a so-called UTF-8 BOM. It would be best to do something compatible with upcoming changes in Java 9; see JEP 226: UTF-8 Property Files.