Update server.ml : sets wins and defeats for registered players at the end of the game