Delete human_player.ml