Changing servers

Ok, I’ve added a feature to 1.3 now (not uploaded yet - needs some testing) where one can download a client installer with preconfigured server_idents.txt from the server. That may solve this issue.