Update server.ml : server generates new usernames for players who have chosen a name already taken.