webui: add bot name to prefs
glade: better window name
gtkui: track the config
gtkui: begin handling the widgets from the glade file
gtkui: update serverlist with config data
gtkui: event handler for server list selection change
gtkui: event handler for the remove server button