TGUI: Add option to configure the TextGrid servers in the UI