Frontend-GNOME: any server support

Servers were always reconstructed in the UI, thus settings that are read from
the config backend but not exposed in the UI were lost. Instead the ServerModel
object is now reused, filled with the known UI values and passed as is to the
engine.
Engine: re-apply MessageBuilderSettings on config changes

If highlight words were changed, the old words were still highlighted and not
the new ones.