Check that a server entry with the same name doesn't already exist.  We could probably key servers in the tree another way, but this works for now. (Completes #12)  Save the preferences in the user's directory to address some of the security concerns brought up in #30.  Keeping file format .ini for portability across platforms.