Improve formatting of jacop options. EnumOptionValue::id -> EnumOptionValue::data.