holoirc: improve server settings

* improve the way empty settings are displayed to user
* fix a bug where adding a server, discarding and then adding again would retain the old adding stuff
* test whether a server by a specified name already exists - stops multiple servers with the same name