Added list_players and del_player (with a force option that should hopefully be unnecessary.)