feat: Picker - format settings

[bmingles]

• Update DHC packages to ^0.72.0
• Passing formatter settings from Redux store to Picker component

Testing
This shows pickers that use number + date formats. Changing format settings will update selected item text + item labels real time.

import deephaven.ui as ui
from deephaven.ui import use_state
from deephaven import time_table
import datetime
 
column_types = time_table("PT2S", start_time=datetime.datetime.now() - datetime.timedelta(seconds=2000)).update([
    "Int=new Integer(i)",
    "Double=new Double(i+i/10)",
])

@ui.component
def picker():
    value, set_value = use_state(1000)
    value2, set_value2 = use_state(1001)
    value3, set_value3 = use_state()

    print("Test", value)

    # Picker for selecting values
    pick = ui.picker(
        column_types,
        key_column="Int",
        label_column="Int",
        label="Int",
        on_selection_change=set_value,
        selected_key=value
    )

    pick2 = ui.picker(
        column_types,
        key_column="Double",
        label_column="Double",
        label="Double",
        on_selection_change=set_value2,
        selected_key=value2,
    )

    pick3 = ui.picker(
        column_types,
        key_column="Timestamp",
        label_column="Timestamp",
        label="Timestamp",
        on_selection_change=set_value3,
        selected_key=value3,
    )

    # Display picker and output in a flex column
    return ui.flex(
        pick,
        ui.text(value, key="text1"),
        pick2,
        ui.text(value2, key="text2"),
        pick3,
        ui.text(value3, key="text3"),
        direction="column",
        margin=10,
        gap=10,
    )

picker_column_types = picker()

resolves #393