Implemented public servers, tidied up UI

TODO: Add a way to add public server sources (web servers that provide a list of servers)