implemented -kill-servers, improved -list-servers