SOCScenario, SOCGameOption: Javadocs SC_FTRI and others