sharedPreferences implemented, remembers last server and port
TODO: select from old servers, clear server list?