Fix names in Update.mli ; add method get_id in Player.ml