Delete ai_player.ml