misc fixes to server management. added the ability to forget the
currently saved credentials for a server.