i18n: New section in README.developer; add detailed info as comment header in *.properties; javadoc SOCStringManager re ISO-8859-1 encoding