SOCServer: New optional jsserver.properties file, read before command line